[DevTools] Pass session id in detach request

content/common/devtools_messages.h

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 // Developer tools consist of the following parts:
 //
 // DevToolsAgent lives in the renderer of an inspected page and provides access
 // to the pages resources, DOM, v8 etc. by means of IPC messages.
 //
 // DevToolsClient is a thin delegate that lives in the tools front-end
@@ skipping 72 matching lines @@
                     int /* session_id */)
 
 // Tells agent that a client host was disconnected from another agent and
 // connected to this one.
 IPC_MESSAGE_ROUTED3(DevToolsAgentMsg_Reattach,
                     std::string /* host_id */,
                     int /* session_id */,
                     std::string /* agent_state */)
 
 // Tells agent that there is no longer a client host connected to it.
-IPC_MESSAGE_ROUTED0(DevToolsAgentMsg_Detach)
+IPC_MESSAGE_ROUTED1(DevToolsAgentMsg_Detach, int /* session_id */)
 
 // WebKit-level transport.
 IPC_MESSAGE_ROUTED4(DevToolsAgentMsg_DispatchOnInspectorBackend,
                     int /* session_id */,
                     int /* call_id */,
                     std::string /* method */,
                     std::string /* message */)
 
 // Inspect element with the given coordinates.
 IPC_MESSAGE_ROUTED3(DevToolsAgentMsg_InspectElement,
@@ skipping 24 matching lines @@
 IPC_MESSAGE_ROUTED1(DevToolsMsg_SetupDevToolsClient,
                     std::string /* compatibility script */)
 
 
 //-----------------------------------------------------------------------------
 // These are messages sent from the renderer to the browser.
 
 // Transport from Inspector frontend to frontend host.
 IPC_MESSAGE_ROUTED1(DevToolsHostMsg_DispatchOnEmbedder,
                     std::string /* message */)