diff options
Diffstat (limited to 'deps/wse/priv/frame_demo.html')
| -rw-r--r-- | deps/wse/priv/frame_demo.html | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/deps/wse/priv/frame_demo.html b/deps/wse/priv/frame_demo.html deleted file mode 100644 index 3519ba8..0000000 --- a/deps/wse/priv/frame_demo.html +++ /dev/null @@ -1,23 +0,0 @@ -<html> -<head> -<title>Frame demo page</title> - -<script src='ej.js'></script> -<script src='wse.js'></script> -<script> -<!-- port numbers used main=1233, frame1=1234, frame2=1235 --> -window.onload = function() { - if (Wse.open("ws://"+(location.hostname||"localhost")+":1233/websession")) { - Wse.id = 'w0'; - Wse.start('wse_frame_demo', 'run', ["i0"]); - } -} -</script> -</head> - -<body> -<iframe id="f1" src="frame1.html" width=640 height=180></iframe> -<iframe id="f2" src="frame2.html" width=640 height=180></iframe> -<div id="i0"></div> -</body> -</html> |