Fix pages to only reload after a good connection

This commit is contained in:
Frank A. Krueger 2017-07-07 16:57:38 -07:00
parent f9cf53debc
commit 8046f8ea95
2 changed files with 25 additions and 1 deletions

View File

@ -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);
if (opened) {
location.reload ();
}
});
socket.addEventListener("message", function (event) {

19
Ooui/Platform.cs Normal file
View File

@ -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
}
}