close and dispose process if it's killed

XRTK · Sep 11, 2019 · 0be0ae8 · 0be0ae8
1 parent 4c202c6
commit 0be0ae8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Extensions/ProcessExtensions.cs b/Extensions/ProcessExtensions.cs
@@ -208,6 +208,8 @@ void ProcessWatcher()
                             if (cancellationToken.IsCancellationRequested)
                             {
                                 runningProcess.Kill();
+                                runningProcess.Close();
+                                runningProcess.Dispose();
                             }
                         }
                     }