in src/rosbridge/server.py [0:0]
def close_env(self):
if self.env is not None and hasattr(self.env, 'save_logs'):
log_url = self.env.save_logs()
if log_url is not None:
self.log_to_client('See high-res traces at %s' % log_url)
self.env_name = None
if self.env is not None:
self.env.close()
self.env = None
self.session_id = None
self.session_owner = None
self.session_last_use = 0.0
logger.info('GymProxyZmqServer closed')