diff options
| author | Stefan Radomski <github@mintwerk.de> | 2017-07-05 11:35:04 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-05 11:35:04 (GMT) |
| commit | cb2f533085542a753fc45d17fdb09396c46fbadc (patch) | |
| tree | 66d378d1df7cb82834e944a1f37865809abf75ae /src/uscxml/debug/DebuggerServlet.cpp | |
| parent | 3f10e11d6ad2b97fee4aee6e09bc959ba9b8e0e5 (diff) | |
| parent | a0f96c5dd050c524223ac644ba8798bc7cc80bfd (diff) | |
| download | uscxml-cb2f533085542a753fc45d17fdb09396c46fbadc.zip uscxml-cb2f533085542a753fc45d17fdb09396c46fbadc.tar.gz uscxml-cb2f533085542a753fc45d17fdb09396c46fbadc.tar.bz2 | |
Merge pull request #155 from tklab-tud/sradomski
More performant monitors with slight API break
Diffstat (limited to 'src/uscxml/debug/DebuggerServlet.cpp')
| -rw-r--r-- | src/uscxml/debug/DebuggerServlet.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/uscxml/debug/DebuggerServlet.cpp b/src/uscxml/debug/DebuggerServlet.cpp index 1d2df6e..74853f4 100644 --- a/src/uscxml/debug/DebuggerServlet.cpp +++ b/src/uscxml/debug/DebuggerServlet.cpp @@ -210,7 +210,7 @@ void DebuggerServlet::processDisconnect(const HTTPServer::Request& request) { replyData.compound["reason"] = Data("No such session", Data::VERBATIM); } else { replyData.compound["status"] = Data("success", Data::VERBATIM); - detachSession(_sessionForId[sessionId]->getInterpreter().getImpl().get()); + detachSession(sessionId); _sessionForId[sessionId]->debugStop(request.data["content"]); _clientConns.erase(_sessionForId[sessionId]); _sendQueues.erase(_sessionForId[sessionId]); |