Do not reconnect

Nils Lindemann · Nils Lindemann · commit 6faa69aa2333 · 2023-05-30T09:02:41.000+02:00
It will anyway not fully work when the server gets restarted, unless the user reloads the page.
diff --git a/source/WebSocket/UserServerCounter.mint b/source/WebSocket/UserServerCounter.mint
@@ -26,7 +26,7 @@ component UserServerCounter {
     WebSocket.open(
       {
         url: "ws://localhost:6789/",
-        reconnectOnClose: true,
+        reconnectOnClose: false,
         onOpen: (w : WebSocket) { next { isReady: true } },
         onClose: () { next { isReady: false } },
         onError: () { next { isReady: false } },

Original file line number	Diff line number	Diff line change
`@@ -26,7 +26,7 @@ component UserServerCounter {`
`26`	`26`	`WebSocket.open(`
`27`	`27`	`{`
`28`	`28`	`url: "ws://localhost:6789/",`
`29`		`- reconnectOnClose: true,`
	`29`	`+ reconnectOnClose: false,`
`30`	`30`	`onOpen: (w : WebSocket) { next { isReady: true } },`
`31`	`31`	`onClose: () { next { isReady: false } },`
`32`	`32`	`onError: () { next { isReady: false } },`