diff options
Diffstat (limited to 'deps/wse/priv/table_demo.html')
-rw-r--r-- | deps/wse/priv/table_demo.html | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/deps/wse/priv/table_demo.html b/deps/wse/priv/table_demo.html deleted file mode 100644 index c0e93f6..0000000 --- a/deps/wse/priv/table_demo.html +++ /dev/null @@ -1,21 +0,0 @@ -<html> -<head> -<title>Table 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_table_demo', 'run', ["t1"]); - } - else - alert("WebSockets not supported"); -}; - -</script> -</head> -<body> -<div id="t1" width=640 height=480></div> -</body> -</html> |