diff options
Diffstat (limited to 'deps/wse/priv/page_a.html')
| -rw-r--r-- | deps/wse/priv/page_a.html | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/deps/wse/priv/page_a.html b/deps/wse/priv/page_a.html deleted file mode 100644 index 25fa08e..0000000 --- a/deps/wse/priv/page_a.html +++ /dev/null @@ -1,20 +0,0 @@ -<html> -<head> -<title>Page A</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.register('page_a'); - } -}; - -</script> -</head> -<body> -<p id="x">Hello A world</p> -</body> -</html> |