Skip to content

Commit c434400

Browse files
committed
More logs
1 parent f40ca33 commit c434400

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

scripts/remote_server_launcher.sh

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -71,9 +71,11 @@ if [ "x$1" == "xstart" ]; then
7171
echo "Server started with php -S $remoteserverlistenip:$remoteserverlistenport -t remote_server $abc"
7272

7373
echo "Logs of server will be in /var/log/remote_server.log"
74+
echo "Server for deployment agent started - $now" >> /var/log/remote_server.log
7475
else
7576
echo Server is already running with PID $pid
7677
fi
78+
echo
7779
fi
7880

7981
if [ "x$1" == "xstop" ]; then
@@ -85,7 +87,9 @@ if [ "x$1" == "xstop" ]; then
8587
else
8688
echo Launch kill to stop server with PID $pid
8789
kill $pid
90+
echo "Server for deployment agent stopped - $now" >> /var/log/remote_server.log
8891
fi
92+
echo
8993
fi
9094

9195
if [ "x$1" == "xstatus" ]; then
@@ -97,4 +101,5 @@ if [ "x$1" == "xstatus" ]; then
97101
else
98102
echo Server run with PID $pid
99103
fi
104+
echo
100105
fi

0 commit comments

Comments
 (0)