From ec8dd826083cea4bf2237acf7b891fbf59b79439 Mon Sep 17 00:00:00 2001 From: rusefi Date: Fri, 24 Jul 2020 15:23:30 -0400 Subject: [PATCH] operations --- .../proxy_server/src/main/resources/update_server.sh | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/java_tools/proxy_server/src/main/resources/update_server.sh b/java_tools/proxy_server/src/main/resources/update_server.sh index 49ecf5b59f..986f5f32db 100644 --- a/java_tools/proxy_server/src/main/resources/update_server.sh +++ b/java_tools/proxy_server/src/main/resources/update_server.sh @@ -1,3 +1,10 @@ #!/bin/sh +echo Stopping... +./stop_server.sh + +echo Downloading... rm -rf rusefi_server.jar wget https://rusefi.com/build_server/autoupdate/rusefi_server.jar + +echo Starting... +./start_server.sh