server pid helper

Author: ChillerDragon

lib/dump_memory.sh

@@ -9,7 +9,7 @@ fi
 
 source lib/lib.sh
 
-server_pid="$(pgrep -f "sid:$SERVER_UUID")"
+server_pid="$(get_server_pid)"
 
 if [ "$server_pid" = "" ]
 then

lib/lib.sh

@@ -34,6 +34,12 @@ function is_running_loop() {
 	return 1
 }
 
+get_server_pid() {
+	# all main server processes should use the sid: prefix
+	# side runners also use the SERVER_UUID but not the sid: prefix
+	pgrep -f "sid:$SERVER_UUID"
+}
+
 function get_player_ips() {
 	if [ ! "$(command -v rg)" ]
 	then