| OLD | NEW |
| 1 function reportResult(msg) { | 1 function reportResult(msg) { |
| 2 if ("opener" in self) | 2 if (self.opener) |
| 3 self.opener.postMessage(msg, "*"); | 3 self.opener.postMessage(msg, "*"); |
| 4 else if (self.top) |
| 5 self.top.postMessage(msg, "*"); |
| 4 else | 6 else |
| 5 postMessage(msg); | 7 postMessage(msg); |
| 6 } | 8 } |
| 7 | 9 |
| 8 (function () { | 10 (function () { |
| 9 try { | 11 try { |
| 10 var ws = new WebSocket("ws://127.0.0.1:8880/echo"); | 12 var ws = new WebSocket("ws://127.0.0.1:8880/echo"); |
| 11 } catch (e) { | 13 } catch (e) { |
| 12 reportResult("DONE"); | 14 reportResult("DONE"); |
| 13 return; | 15 return; |
| 14 } | 16 } |
| 15 reportResult("FAIL: No exception was thrown") | 17 reportResult("FAIL: No exception was thrown") |
| 16 })(); | 18 })(); |
| OLD | NEW |