Skip to content

Commit 7cb5859

Browse files
committed
just searching for server id also finds plugin side runners
We need a proper helper method to find the main server pid
1 parent f0442f5 commit 7cb5859

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

lib/dump_memory.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ fi
99

1010
source lib/lib.sh
1111

12-
server_pid="$(pgrep -f "$SERVER_UUID")"
12+
server_pid="$(pgrep -f "sid:$SERVER_UUID")"
1313

1414
if [ "$server_pid" = "" ]
1515
then

0 commit comments

Comments
 (0)