Caller of Exited event should wait for process to exit in background.
authorKonrad M. Kruczynski <kkruczynski@antmicro.com>
Wed, 18 Nov 2015 12:44:49 +0000 (13:44 +0100)
committerKonrad M. Kruczynski <kkruczynski@antmicro.com>
Wed, 18 Nov 2015 12:44:49 +0000 (13:44 +0100)
commite348cf2a807d8b67b5fa2b3c53b46a53dc19035b
tree0569a6400dac9e3b259dc6aa4e8a4f2d201f0c9e
parentdc00526d138777e652e560224568bd4b5fbed1e6
Caller of Exited event should wait for process to exit in background.

Otherwise simply adding an event will make our program to live at least as long
as the created process lives.
mcs/class/System/System.Diagnostics/Process.cs