fix signal handler

pull/138/head
cirospaciari 2023-07-25 08:48:58 -03:00
rodzic dd9bb7512f
commit 263ff096c6
1 zmienionych plików z 5 dodań i 1 usunięć

Wyświetl plik

@ -3370,8 +3370,12 @@ class App:
self._factory.populate()
if self._ws_factory is not None:
self._ws_factory.populate()
def signal_handler(sig, frame):
self.close()
exit(0)
signal.signal(signal.SIGINT, lambda sig, frame: self.close())
signal.signal(signal.SIGINT, signal_handler)
self.loop.run()
if self.lifespan: