CITY of orgies, walks and joys!
City whom that I have lived and sung in your midst will one day make you illustrious,
Not the pageants of you—not your shifting tableaux, your spectacles, repay me;
Not the interminable rows of your houses—nor the ships at the wharves,
Nor the processions in the streets, nor the bright windows, with goods in them;
Nor to converse with learn’d persons, or bear my share in the soiree or feast;
Not those—but, as I pass, O Manhattan! your frequent and swift flash of eyes offering me love,
Offering response to my own—these repay me;
Lovers, continual lovers, only repay me.
Supervisor is a program that, well, supervises your script and can restart them if needed. This is particularly useful for discord bot hosting, because apparently, the Websocket module that discord.py depends on may contain bugs that randomly resets the connection and there is nothing you can do about it.
Setting it up is pretty easy as well. The only caveat is that supervisor runs as the root user with some root directory as the working directory. In the start script you supply it's necessary to change to
/path/to/your/program for your program to run. Here is an example set up
Supplying absolute paths everywhere might be an overkll but it's the safe thing to do.
So all is well, until you try to stop this program. Turns out in this setting, the python program is spawned as a child process by the
run.sh script process, and supervisor.d is only responsible for stopping the run.sh process, not the child process it spawns. Similarly, running
supervisorctl restart foo will now create a new python program without stopping the first one.
I know you are here for this. Add the following line
foo.conf. Reread & update your supervisor task. From now on when the supervisor send a stop signal it will propagate to all the child processes in the same process group.
Turns out someone already posted the same solution but in a differnet context.
这次 Theater Boost 活动引发了许多 P 群体发觉需要有方便的沟通渠道的必要性。不管是在没有 Gree 会议室可用的两位新偶像P还是知道 Gree 将来会停止服务的老P们都纷纷出来寻找新的沟通平台。其中很值得实验的是 discord。discord 是一个以游戏玩家为最初目标客群的语音、文字聊天应用，有网页应用、桌面应用与手机应用版。近期在欧美跟日本宅圈当中都有很多用户。