signaled = false;
}
}
- }
- finally {
- if( processWaitHandle != null) {
- processWaitHandle.Close();
- }
// If we have a hard timeout, we cannot wait for the streams
if( output != null && milliseconds == -1) {
if( error != null && milliseconds == -1) {
error.WaitUtilEOF();
}
+ }
+ finally {
+ if( processWaitHandle != null) {
+ processWaitHandle.Close();
+ }
ReleaseProcessHandle(handle);