Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -864,7 +864,7 @@ async def main():
|
|
864 |
loop.add_signal_handler(signal.SIGTERM, stop.set_result, None)
|
865 |
|
866 |
port = int(os.environ.get("PORT", "7860"))
|
867 |
-
async with websockets.serve(handler, "0.0.0.0", port):
|
868 |
await stop
|
869 |
|
870 |
|
|
|
864 |
loop.add_signal_handler(signal.SIGTERM, stop.set_result, None)
|
865 |
|
866 |
port = int(os.environ.get("PORT", "7860"))
|
867 |
+
async with websockets.serve(handler, "0.0.0.0", port,ping_timeout=120):
|
868 |
await stop
|
869 |
|
870 |
|