From 0294d3e7e2fe02136351f98c5c3303b729753072 Mon Sep 17 00:00:00 2001 From: SeaswimmerTheFsh Date: Mon, 14 Aug 2023 12:25:18 -0400 Subject: [PATCH] added another echo to the git updater --- start_server.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/start_server.sh b/start_server.sh index dba0ed5..c233090 100644 --- a/start_server.sh +++ b/start_server.sh @@ -28,6 +28,7 @@ if [ -d .git ] || git rev-parse --is-inside-work-tree > /dev/null 2>&1 ; then echo "Updating scripts..." git pull echo "Scripts updated!" + echo "Server must be restarted for script updates to take effect." else echo "WARNING: This directory is not a Git repository. Script updates will not be automatically fetched." fi