diff options
Diffstat (limited to 'deps/wse/priv/button_demo.html')
| -rw-r--r-- | deps/wse/priv/button_demo.html | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/deps/wse/priv/button_demo.html b/deps/wse/priv/button_demo.html deleted file mode 100644 index d397f83..0000000 --- a/deps/wse/priv/button_demo.html +++ /dev/null @@ -1,22 +0,0 @@ -<html> -<head> -<title>Button demo page</title> -<script src='ej.js'></script> -<script src='wse.js'></script> -<script> - -window.onload = function() { - if (Wse.open("ws://"+(location.hostname||"localhost")+":1234/websession")) { - // Wse.enable_console_output(true); - Wse.start('wse_button_demo', 'run', ["myid"]); - } - else - alert("WebSockets not supported"); -}; - -</script> -</head> -<body> -<div id="myid"></div> -</body> -</html> |