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 * 3.0 or (current_time - handler.last_active_time).total_seconds() >
|
| 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() > 600)
|
| 478 |
]
|
| 479 |
for env_id in expired_env_ids:
|
| 480 |
self.close_env_handler(env_id)
|