In dotnet-trace/counters disposed of the server when we received ctrl+C while waiting...

* Disposed of the server when we received ctrl+C while waiting for clients to connect

* removed deletion of files to alow the server to clean things up

diff --git a/src/Tools/Common/ReversedServerHelpers/ReversedServerHelpers.cs b/src/Tools/Common/ReversedServerHelpers/ReversedServerHelpers.cs
index 506c7ccca96458e408020f9440cec3951c975395..1b6d99695c17d8db06bd5f781512ea34a2936c1b 100644 (file)
--- a/src/Tools/Common/ReversedServerHelpers/ReversedServerHelpers.cs
+++ b/src/Tools/Common/ReversedServerHelpers/ReversedServerHelpers.cs
@@ -162,10 +162,6 @@ namespace Microsoft.Internal.Common.Utils
 
         public async void Dispose()
         {
-            if (!string.IsNullOrEmpty(_port) && File.Exists(_port))
-            {
-                File.Delete(_port);
-            }
             ProcessLauncher.Launcher.Cleanup();
             if (_server != null)
             {
@@ -256,6 +252,8 @@ namespace Microsoft.Internal.Common.Utils
                 }
                 catch (TaskCanceledException)
                 {
+                    //clean up the server
+                    await server.DisposeAsync();
                     if (!ct.IsCancellationRequested)
                     {
                         throw;