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")