Browse Source

Generally kill both parent and their child processes. (#1232)

main-publicPoolNames
Phillip Hoff 5 years ago
committed by GitHub
parent
commit
a9a1b83653
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      src/Microsoft.Tye.Core/ProcessExtensions.cs
  2. 6
      src/Microsoft.Tye.Core/ProcessUtil.cs

2
src/Microsoft.Tye.Core/ProcessExtensions.cs

@ -117,7 +117,7 @@ namespace Microsoft.Tye
}
else
{
process?.Kill();
process?.Kill(entireProcessTree: true);
}
}
}

6
src/Microsoft.Tye.Core/ProcessUtil.cs

@ -165,7 +165,7 @@ namespace Microsoft.Tye
{
if (!process.CloseMainWindow())
{
process.Kill();
process.Kill(entireProcessTree: true);
}
}
@ -177,7 +177,7 @@ namespace Microsoft.Tye
if (!process.HasExited)
{
process.Kill();
process.Kill(entireProcessTree: true);
}
}
}
@ -197,7 +197,7 @@ namespace Microsoft.Tye
try
{
using var process = Process.GetProcessById(pid);
process?.Kill();
process?.Kill(entireProcessTree: true);
}
catch (ArgumentException) { }
catch (InvalidOperationException) { }

Loading…
Cancel
Save