Alexandre Julliard 24ec4a6ed7 server: Move the process pipe hangup handling into kill_process.
This ensures that it's also done correctly when a read from the pipe
returns EOF.
2008-06-20 20:42:51 +02:00
..
2008-04-07 13:36:18 +02:00
2008-04-07 13:36:18 +02:00
2008-04-09 19:58:12 +02:00
2008-03-19 11:13:46 +01:00