mirror of
https://github.com/itzg/docker-minecraft-server.git
synced 2026-10-13 15:37:12 +00:00
Improve local development (#3661)
This commit is contained in:
1 parent
9cbe5c2228
commit
81cbc72ae9
55 files changed
+161
-147
No files matched your search
@@ -0,0 +1,13 @@
|
||||
#!/bin/bash
|
||||
|
||||
. "$(dirname "$0")/../start-utils"
|
||||
if isTrue "${DEBUG_AUTOPAUSE}"; then
|
||||
set -x
|
||||
fi
|
||||
|
||||
if [[ $( ps -ax -o stat,comm | grep 'java' | awk '{ print $1 }') =~ ^T.*$ ]] ; then
|
||||
pkill -CONT java
|
||||
|
||||
# remove .paused file from data directory
|
||||
rm -f /data/.paused
|
||||
fi
|
||||
Reference in new issue
Block a user