Shutdown webserver cleanly and let server.py restart it.
This commit is contained in:
parent
330a1dea5c
commit
617376a54b
1 changed files with 2 additions and 1 deletions
|
@ -14,6 +14,7 @@ from queue import Empty
|
||||||
from time import sleep
|
from time import sleep
|
||||||
import json
|
import json
|
||||||
import os
|
import os
|
||||||
|
import sys
|
||||||
|
|
||||||
from helpers.os_environment import (
|
from helpers.os_environment import (
|
||||||
isLinux,
|
isLinux,
|
||||||
|
@ -557,4 +558,4 @@ def WebServer(player_to: List[Queue], player_from: Queue, state: StateManager):
|
||||||
)
|
)
|
||||||
except Exception as e:
|
except Exception as e:
|
||||||
logger.log.exception(e)
|
logger.log.exception(e)
|
||||||
sleep(1)
|
sys.exit(1)
|
||||||
|
|
Loading…
Reference in a new issue