search

dxw / whippet-server

Whippet Server launches a stand-alone web server for a specific WordPress installation. It makes WordPress easier to develop with, for example, by adding lots of debug information to the terminal without cluttering up or breaking your templates.
ISC License
80 stars 6 forks source link

whippet-server ignores signals #34

Open mallorydxw opened 9 years ago

mallorydxw commented 9 years ago

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 commented 8 years ago

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