search

TiddlySpace / tiddlyspace

A discoursive social model for tiddlers
http://tiddlyspace.com
Other
106 stars 38 forks source link

twdispatcher does not kill child processes when stopped/restarted #1052

Open pads opened 11 years ago

pads commented 11 years ago

When stopping/resarting twdispatcher, the script kills the parent but not the child processes. They are left orphaned and have to be killed off manually.

cdent commented 11 years ago

We may be able to kill -- -$THE_PID

note the leading minus on the pid

(however such things are not working well for @fnd in a similar situation)

FND commented 11 years ago

FWIW, my workaround is this: https://github.com/FND/tiddlywebplugins.bfw/blob/013904d92a731a52ecfa8a3ee461dbad934055af/Makefile#L10-11

I suspect the -- -$pid thing might be a BSDism.