afonso/core-extra
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

fixes #188 - remove session on delete

Browse source
This commit is contained in:
bharnden 2018-09-17 08:40:52 -07:00 committed by GitHub
parent 4e6ec1a474
commit f8ec15f620
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
daemon/core/corehandlers.py
View file

@ -1643,8 +1643,8 @@ class CoreHandler(SocketServer.BaseRequestHandler):
self.send_objects()
elif message.flags & MessageFlags.DELETE.value:
# shut down the specified session(s)
logger.info("request to terminate session %s" % session_id)
session.shutdown()
logger.info("request to terminate session %s", session_id)
self.coreemu.delete_session(session_id)
else:
logger.warn("unhandled session flags for session %s", session_id)