Spaces:
Paused
Paused
extend time limitation
Browse files- web_server.py +1 -1
web_server.py
CHANGED
@@ -474,7 +474,7 @@ class EnvHandlerManager:
|
|
474 |
expired_env_ids = [
|
475 |
env_id
|
476 |
for env_id, handler in self._env_handlers.items()
|
477 |
-
if handler and ((current_time - handler.created_time).total_seconds() > 3600 *
|
478 |
]
|
479 |
for env_id in expired_env_ids:
|
480 |
self.close_env_handler(env_id)
|
|
|
474 |
expired_env_ids = [
|
475 |
env_id
|
476 |
for env_id, handler in self._env_handlers.items()
|
477 |
+
if handler and ((current_time - handler.created_time).total_seconds() > 3600 * 3.0 or (current_time - handler.last_active_time).total_seconds() > 180)
|
478 |
]
|
479 |
for env_id in expired_env_ids:
|
480 |
self.close_env_handler(env_id)
|