| author | Yves-Marie Haussonne <ymh.work+github@gmail.com> |
| Thu, 08 May 2014 11:40:58 +0200 | |
| changeset 648 | c8b44a569549 |
| parent 609 | 736fdedb7774 |
| permissions | -rwxr-xr-x |
|
609
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
1 |
#!/bin/bash |
|
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
2 |
|
|
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
3 |
PID=$(cat /tmp/testserver.pid|cut -d"|" -f1) |
|
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
4 |
OUTFILE=$(cat /tmp/testserver.pid|cut -d"|" -f2) |
|
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
5 |
|
|
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
6 |
echo "Kill test server pid $PID" |
|
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
7 |
kill $PID |
|
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
8 |
|
|
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
9 |
echo "Test server log:" |
|
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
10 |
echo "================================================================================" |
|
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
11 |
cat "$OUTFILE" |
|
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
12 |
echo "================================================================================" |
|
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
13 |
|
|
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
14 |
echo "Clean testserver output" |
|
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
15 |
rm "$OUTFILE" |
|
736fdedb7774
clean the test-suite folder. create necessary files in dev env
ymh <ymh.work@gmail.com>
parents:
diff
changeset
|
16 |