diff options
Diffstat (limited to 'deps/wse/priv/wse_demo.html')
| -rw-r--r-- | deps/wse/priv/wse_demo.html | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/deps/wse/priv/wse_demo.html b/deps/wse/priv/wse_demo.html deleted file mode 100644 index 610d03f..0000000 --- a/deps/wse/priv/wse_demo.html +++ /dev/null @@ -1,13 +0,0 @@ -<html><head> -<title>wse 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.start('wse_demo', 'run', ["myid"]); - }; -</script></head> -<body> - <div id="myid"></div> -</body></html> |