def _save():
# shut down game
try:
if game:
log.message('Shutting down game...')
game.shutdown()
if msgMngr:
log.message('Shutting down message manager...')
msgMngr.shutdown()
if clientMngr:
log.message('Shutting down client manager...')
clientMngr.shutdown()
if issueMngr:
log.message('Shutting down issue manager...')
issueMngr.shutdown()
if bookingMngr:
log.message('Shutting down booking manager...')
bookingMngr.shutdown()
except:
log.exception("Shutdown of the server failed")
config.save()
log.message('Shutted down')
log.message("Cleaning up...")
def cleanup():
# shut down game
try:
if game:
log.message('Shutting down game...')
game.shutdown()
if msgMngr:
log.message('Shutting down message manager...')
msgMngr.shutdown()
if clientMngr:
log.message('Shutting down client manager...')
clientMngr.shutdown()
if issueMngr:
log.message('Shutting down issue manager...')
issueMngr.shutdown()
except:
log.exception("Shutdown of the server failed")
log.message('Shutted down')
log.message("Cleaning up...")
# delete my pid
os.close(pidFd)
os.remove("var/server.pid")
