Hi All, 
 
Would it be possible/sensible to have some limited implementation of
Unix.kill for Win32, so that 'kill pid 9' or 'kill pid 15' worked for
example?
 
James