fix: Increasing new websocket client's heartbeat timeout.

joelday · joelday · commit 87a4222ab334 · 2019-06-06T08:48:37.000-07:00
diff --git a/src/DarkId.Papyrus.DebugAdapterProxy/Program.cs b/src/DarkId.Papyrus.DebugAdapterProxy/Program.cs
@@ -80,7 +80,7 @@ static int Main(string[] args)
                     }
                     catch (Exception e)
                     {
-                        logger.LogError(e, "Exception thrown during startup.");
+                        logger.LogError(e, "Exception thrown.");
                         exitCode = 1;
                     }
                 })
@@ -150,6 +150,7 @@ static int RunWithSources(Dictionary<ObjectIdentifier, string> sources, int port
             var textWriter = new StringWriter();
 
             var client = new WebSocket(string.Format("ws://localhost:{0}", port));
+            client.WaitTime = TimeSpan.FromMinutes(1);
 
             client.OnError += (s, e) =>
             {

Original file line number	Diff line number	Diff line change
`@@ -80,7 +80,7 @@ static int Main(string[] args)`
`80`	`80`	`}`
`81`	`81`	`catch (Exception e)`
`82`	`82`	`{`
`83`		`- logger.LogError(e, "Exception thrown during startup.");`
	`83`	`+ logger.LogError(e, "Exception thrown.");`
`84`	`84`	`exitCode = 1;`
`85`	`85`	`}`
`86`	`86`	`})`
`@@ -150,6 +150,7 @@ static int RunWithSources(Dictionary<ObjectIdentifier, string> sources, int port`
`150`	`150`	`var textWriter = new StringWriter();`
`151`	`151`
`152`	`152`	`var client = new WebSocket(string.Format("ws://localhost:{0}", port));`
	`153`	`+ client.WaitTime = TimeSpan.FromMinutes(1);`
`153`	`154`
`154`	`155`	`client.OnError += (s, e) =>`
`155`	`156`	`{`