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