whippet-server ignores signals

[mallorydxw]

Run whippet-server. Get the PID of the main process (the /usr/bin/php .../whippet.php one).

Then try this:

kill $PID
kill -2 $PID

Neither of those do anything. But pressing ^C works.

This makes it difficult to kill whippet-server after running tests.

[Stretch96]

It can be killed if you use the PID of (/usr/bin/php5 ... whippet-server/lib/router.php). It seems like there are actually 3 processes that spawn when whippet-server is ran, due to one process calling another to get it fully running. It may be possible to rejig things so that there is only one process ...

In the mean time, an easier way to get the PID of what you need to kill, is use sudo lsof -i :8000