| author | ymh <ymh.work@gmail.com> |
| Wed, 12 Mar 2014 17:19:23 +0100 | |
| changeset 608 | 047aab3a53cf |
| parent 597 | 6cbcec19079b |
| permissions | -rwxr-xr-x |
| 597 | 1 |
#!/bin/bash |
2 |
||
3 |
PID=$(cat /tmp/testserver.pid|cut -d"|" -f1) |
|
4 |
OUTFILE=$(cat /tmp/testserver.pid|cut -d"|" -f2) |
|
5 |
||
6 |
echo "Kill test server pid $PID" |
|
7 |
kill $PID |
|
8 |
||
9 |
echo "Test server log:" |
|
10 |
echo "================================================================================" |
|
11 |
cat "$OUTFILE" |
|
12 |
echo "================================================================================" |
|
13 |
||
14 |
echo "Clean testserver output" |
|
15 |
rm "$OUTFILE" |
|
16 |