From 6ad0f57406d1139b1b3d79bcc0007e838ddf9296 Mon Sep 17 00:00:00 2001 From: Benjamin Date: Wed, 2 Mar 2022 12:19:48 +0100 Subject: [PATCH] better start_server --- .idea/workspace.xml | 11 +++++++---- scripts/start_server.py | 9 +-------- 2 files changed, 8 insertions(+), 12 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 0c573cc..0a051bd 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -23,6 +23,9 @@ + + @@ -42,7 +45,7 @@ - +