Properly shutdown background processes

mediagis · Nov 12, 2024 · 17ed3da · 17ed3da
1 parent 6a247d4
commit 17ed3da
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/4.5/start.sh b/4.5/start.sh
@@ -14,9 +14,8 @@ stopServices() {
     kill $replicationpid
   fi
   kill $tailpid
-  echo `cat $GUNICORN_PID_FILE`
-  echo
   cat $GUNICORN_PID_FILE | sudo xargs kill
+  gkill nominatim
 
   # Force exit code 0 to signal a successful shutdown to Docker
   exit 0