diff --git a/Ooui/Client.js b/Ooui/Client.js index d9cf206..c28af38 100644 --- a/Ooui/Client.js +++ b/Ooui/Client.js @@ -6,10 +6,13 @@ const nodes = {}; let socket = null; function ooui (rootElementPath) { + var opened = false; + socket = new WebSocket ("ws://" + document.location.host + rootElementPath, "ooui"); socket.addEventListener ("open", function (event) { console.log ("Web socket opened"); + opened = true; }); socket.addEventListener ("error", function (event) { @@ -18,7 +21,9 @@ function ooui (rootElementPath) { socket.addEventListener ("close", function (event) { console.error ("Web socket close", event); - location.reload (); + if (opened) { + location.reload (); + } }); socket.addEventListener("message", function (event) { diff --git a/Ooui/Platform.cs b/Ooui/Platform.cs new file mode 100644 index 0000000..a784403 --- /dev/null +++ b/Ooui/Platform.cs @@ -0,0 +1,19 @@ +using System; + +namespace Ooui +{ + static class Platform + { +#if __IOS32423__ + public static void Present (string url, object presenter) + { + + } +#else + public static void Present (string url, object presenter) + { + + } +#endif + } +}