diff options
author | Jonas Gunz <himself@jonasgunz.de> | 2020-01-04 18:12:46 +0100 |
---|---|---|
committer | Jonas Gunz <himself@jonasgunz.de> | 2020-01-04 18:12:46 +0100 |
commit | 53992debc85b55537450fde14335af53adafb494 (patch) | |
tree | f847c8dc843f84c3f8e35733f0b34b0d630b2c68 | |
parent | 272bd7bcc4e1aab834ea2ddb76ea0bae84330a87 (diff) | |
download | minecraft-server-tools-53992debc85b55537450fde14335af53adafb494.tar.gz |
added some /dev/null pipes
-rwxr-xr-x | server.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -17,7 +17,7 @@ function send_cmd () { } function server_start() { - screen -list $SCREEN_WINDOW + screen -list $SCREEN_WINDOW > /dev/null if [ $? -eq 0 ] then echo "It seems a server is already running. If this is not the case,\ @@ -42,7 +42,7 @@ function server_attach() { } function server_status() { - screen -list $SCREEN_WINDOW + screen -list $SCREEN_WINDOW > /dev/null if [ $? -eq 0 ] then |