kotovalexarian-likes-github/puma--puma
1
0
Fork 0
mirror of https://github.com/puma/puma.git synced 2022-11-09 13:48:40 -05:00
Code Releases Activity
puma--puma/tools/jungle
History
hoshino tsuyoshi 9aea96eaf3 ps -p will check correctly whether $PID exists (#1545) 
It is appropriate to use `ps -p` in that place.

Under certain conditions, existing code ``[ "`ps -A -o pid=
| grep -c $PID`" -eq 0 ]`` may behave incorrectly.

For example, if the content of $PID happens to be a short string
(such as `199`), and another process includes the string
(process such as `2199`), then unfortunately `grep -c` will return
positive number even if `199` is not running.
2018-03-28 07:00:30 -06:00
..
init.d ps -p will check correctly whether $PID exists (#1545) 2018-03-28 07:00:30 -06:00
rc.d Freebsd rc.d jungle for puma (#1529) 2018-03-20 11:53:38 -06:00
upstart Update reference to the instances management script 2016-07-11 16:14:07 +02:00
README.md Add warning about init.d being replaced by systemd (#1533) 2018-03-27 16:53:03 -06:00

README.md

Puma as a service

Upstart

See /tools/jungle/upstart for Ubuntu's upstart scripts.

Systemd

See /docs/systemd.

Init.d

Deprecatation Warning : init.d was replaced by systemd since Debian 8 and Ubuntu 16.04, you should look into /docs/systemd unless you are on an older OS.

See /tools/jungle/init.d for tools to use with init.d and start-stop-daemon.

rc.d

See /tools/jungle/rc.d for FreeBSD's rc.d scripts