Left: | ||
Right: |
LEFT | RIGHT |
---|---|
1 /* | 1 /* |
2 * This Source Code is subject to the terms of the Mozilla Public License | 2 * This Source Code is subject to the terms of the Mozilla Public License |
3 * version 2.0 (the "License"). You can obtain a copy of the License at | 3 * version 2.0 (the "License"). You can obtain a copy of the License at |
4 * http://mozilla.org/MPL/2.0/. | 4 * http://mozilla.org/MPL/2.0/. |
5 */ | 5 */ |
6 | 6 |
7 let EXPORTED_SYMBOLS = ["shutdown", "getNodeInfo", "togglePreview", | 7 let EXPORTED_SYMBOLS = ["shutdown", "getNodeInfo", "togglePreview", |
8 "forgetNode"]; | 8 "forgetNode"]; |
9 | 9 |
10 const Ci = Components.interfaces; | 10 const Ci = Components.interfaces; |
(...skipping 19 matching lines...) Expand all Loading... | |
30 let shutdown = (function() | 30 let shutdown = (function() |
31 { | 31 { |
32 let executed = false; | 32 let executed = false; |
33 return function() | 33 return function() |
34 { | 34 { |
35 if (!executed) | 35 if (!executed) |
36 { | 36 { |
37 executed = true; | 37 executed = true; |
38 try | 38 try |
39 { | 39 { |
40 DebuggerServer.removeTabActor(actor); | 40 DebuggerServer.removeTabActor(actor); |
Wladimir Palant
2015/07/31 14:40:04
This will throw in the content process, I suspect
Wladimir Palant
2015/07/31 15:09:36
My investigation shows that we are doing everythin
| |
41 } | 41 } |
42 catch (e) | 42 catch (e) |
43 { | 43 { |
44 // The call above will throw in the content process despite succeeding, | |
45 // see https://bugzilla.mozilla.org/show_bug.cgi?id=1189780. | |
44 Cu.reportError(e); | 46 Cu.reportError(e); |
45 } | 47 } |
46 } | 48 } |
47 } | 49 } |
48 })(); | 50 })(); |
49 | 51 |
50 function Actor(connection, tabActor) | 52 function Actor(connection, tabActor) |
51 { | 53 { |
52 } | 54 } |
53 | 55 |
(...skipping 106 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
160 // forget this node then. | 162 // forget this node then. |
161 forgetNode(nodeID); | 163 forgetNode(nodeID); |
162 } | 164 } |
163 } | 165 } |
164 } | 166 } |
165 | 167 |
166 function forgetNode(nodeID) | 168 function forgetNode(nodeID) |
167 { | 169 { |
168 nodes.delete(nodeID); | 170 nodes.delete(nodeID); |
169 } | 171 } |
LEFT | RIGHT |