Title: [133573] trunk/Source/WebCore
- Revision
- 133573
- Author
- [email protected]
- Date
- 2012-11-06 02:06:27 -0800 (Tue, 06 Nov 2012)
Log Message
Web Inspector: show "debugging session terminated" message when remote debuggign connection is closed unexpectedly.
https://bugs.webkit.org/show_bug.cgi?id=101030
Reviewed by Vsevolod Vlasov.
* inspector/front-end/inspector.js:
(WebInspector.loaded.WebInspector.socket.onclose):
(WebInspector.loaded):
(WebInspector.detached):
Modified Paths
Diff
Modified: trunk/Source/WebCore/ChangeLog (133572 => 133573)
--- trunk/Source/WebCore/ChangeLog 2012-11-06 10:04:33 UTC (rev 133572)
+++ trunk/Source/WebCore/ChangeLog 2012-11-06 10:06:27 UTC (rev 133573)
@@ -1,3 +1,15 @@
+2012-11-06 Pavel Feldman <[email protected]>
+
+ Web Inspector: show "debugging session terminated" message when remote debuggign connection is closed unexpectedly.
+ https://bugs.webkit.org/show_bug.cgi?id=101030
+
+ Reviewed by Vsevolod Vlasov.
+
+ * inspector/front-end/inspector.js:
+ (WebInspector.loaded.WebInspector.socket.onclose):
+ (WebInspector.loaded):
+ (WebInspector.detached):
+
2012-11-06 Alexander Pavlov <[email protected]>
Web Inspector: [Overrides] Add Chrome for Android and Firefox for Android user agent strings
Modified: trunk/Source/WebCore/inspector/front-end/inspector.js (133572 => 133573)
--- trunk/Source/WebCore/inspector/front-end/inspector.js 2012-11-06 10:04:33 UTC (rev 133572)
+++ trunk/Source/WebCore/inspector/front-end/inspector.js 2012-11-06 10:06:27 UTC (rev 133573)
@@ -335,6 +335,10 @@
InspectorFrontendHost.sendMessageToBackend = WebInspector.socket.send.bind(WebInspector.socket);
WebInspector.doLoadedDone();
}
+ WebInspector.socket._onclose_ = function() {
+ if (!WebInspector.socket._detachReason)
+ (new WebInspector.RemoteDebuggingTerminatedScreen("websocket_closed")).showModal();
+ }
return;
}
@@ -910,6 +914,7 @@
// Inspector.detached protocol event
WebInspector.detached = function(reason)
{
+ WebInspector.socket._detachReason = reason;
(new WebInspector.RemoteDebuggingTerminatedScreen(reason)).showModal();
}
_______________________________________________
webkit-changes mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo/webkit-changes
