[PATCH 1 of 2] win32: spawndetached returns pid of detached process and not of cmd.exe

[Mads Kiilerich]

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...

/Mads