OLD | NEW |
1 <html> | 1 <html> |
2 <head> | 2 <head> |
3 <script src="/js-test-resources/js-test.js"></script> | 3 <script src="/js-test-resources/js-test.js"></script> |
4 </head> | 4 </head> |
5 <body> | 5 <body> |
6 <div id="description"></div> | 6 <div id="description"></div> |
7 <div id="console"></div> | 7 <div id="console"></div> |
8 <script type="text/javascript"> | 8 <script type="text/javascript"> |
9 var ws = new WebSocket("ws://127.0.0.1:8880/close-on-unload"); | 9 var ws = new WebSocket("ws://127.0.0.1:8880/close-on-unload"); |
10 ws.onopen = function() | 10 ws.onopen = function() |
11 { | 11 { |
12 // Send "socket1" to server, so that "socket1" will be broadcasted to | 12 // Send "socket1" to server, so that "socket1" will be broadcasted to |
13 // WebSockets connected to close-on-unload when this WebSocket is closed. | 13 // WebSockets connected to close-on-unload when this WebSocket is closed. |
14 ws.send("socket1"); | 14 ws.send("socket1"); |
15 }; | 15 }; |
16 ws.onmessage = function(evt) | 16 ws.onmessage = function(evt) |
17 { | 17 { |
18 // "socket1" is received by server, so ready to unload this document. | 18 // "socket1" is received by server, so ready to unload this document. |
19 parent.document.iframeReady(evt.data); | 19 parent.document.iframeReady(evt.data); |
20 } | 20 } |
21 </script> | 21 </script> |
22 </body> | 22 </body> |
23 </html> | 23 </html> |
OLD | NEW |