mirror of
https://github.com/mynodebtc/mynode.git
synced 2024-12-27 06:54:00 +00:00
10 lines
213 B
Bash
10 lines
213 B
Bash
|
#!/bin/bash
|
||
|
|
||
|
if [ -f ./out/file_server_pid ]; then
|
||
|
PID=$(cat ./out/file_server_pid)
|
||
|
if ps -p $PID > /dev/null; then
|
||
|
echo "Stopping HTTP Server ($PID)..."
|
||
|
kill $PID
|
||
|
sleep 1
|
||
|
fi
|
||
|
fi
|