summaryrefslogtreecommitdiff
path: root/deps/wse/priv/location.html
diff options
context:
space:
mode:
Diffstat (limited to 'deps/wse/priv/location.html')
-rw-r--r--deps/wse/priv/location.html30
1 files changed, 0 insertions, 30 deletions
diff --git a/deps/wse/priv/location.html b/deps/wse/priv/location.html
deleted file mode 100644
index b8eb3df..0000000
--- a/deps/wse/priv/location.html
+++ /dev/null
@@ -1,30 +0,0 @@
-<html>
-<head>
-<title>Location 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_location_demo', 'run', ["location"]);
- }
- else
- alert("WebSockets not supported");
-};
-
-</script>
-</head>
-<body style="background: #333">
- <input name="webpage" placeholder="webpage" type="text" id="webpage"/>
- <button onclick="goto()">Goto</button>
-<script>
- function goto() {
- var location = document.getElementById("webpage").value;
- window.console.debug("Goto " +location);
- Wse.call('wse_location_demo', 'goto', [location]);
-}
-</script>
-
-</body>
-</html>