in src/rosbridge/server.py [0:0]
def run_timeout(self):
while True:
with self.rpc_lock:
if self.session_id is not None and time.time() - self.session_last_use > 3.0:
self.close_env()
self.session_last_use = 0.0
self.session_id = None
self.session_owner = None
time.sleep(1)