[PATCH 1 of 2] win32: spawndetached returns pid of detached process and not of cmd.exe
mads at kiilerich.com
Mon Feb 10 13:08:01 CST 2014
On 02/10/2014 06:02 PM, Simon Heimberg wrote:
> I would recommend to the user to use the kill command that the system
> provides. (`kill PID` on linux, `taskkill /pid PID` or the task
> manager on windows, ...)
Sure - if taskkill works and is reliable now. I guess few users are
aware of taskkill. It should probably be mentioned in hg help serve -
together with kill for unix-ish systems.
Still, it would also be nice to have a cross platform way to terminate
the daemon we started. Something that not only sent the signal, but also
waited for the process to actually terminate...
More information about the Mercurial-devel