OLD | NEW |
1 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> | 1 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> |
2 <html> | 2 <html> |
3 <head> | 3 <head> |
4 <script src="/js-test-resources/js-test.js"></script> | 4 <script src="/js-test-resources/js-test.js"></script> |
5 </head> | 5 </head> |
6 <body> | 6 <body> |
7 <div id="description"></div> | 7 <div id="description"></div> |
8 <div id="console"></div> | 8 <div id="console"></div> |
9 <script type="text/javascript"> | 9 <script type="text/javascript"> |
10 description("Test if WebSocket is closed on unload and not crashed if garbage co
llected"); | 10 description("Test if WebSocket is closed on unload and not crashed if garbage co
llected"); |
(...skipping 30 matching lines...) Expand all Loading... |
41 document.iframeReady = function() | 41 document.iframeReady = function() |
42 { | 42 { |
43 debug("PASS 'socket1' is sent to the server. unload the iframe and force gar
bage collection. expect receiving 'socket1' on ws and no crash..."); | 43 debug("PASS 'socket1' is sent to the server. unload the iframe and force gar
bage collection. expect receiving 'socket1' on ws and no crash..."); |
44 document.body.removeChild(frameDiv); | 44 document.body.removeChild(frameDiv); |
45 gc(); | 45 gc(); |
46 }; | 46 }; |
47 | 47 |
48 </script> | 48 </script> |
49 </body> | 49 </body> |
50 </html> | 50 </html> |
OLD | NEW |