diff -r 047aab3a53cf -r 736fdedb7774 src/cm/scripts/test-suite/clean-testserver.sh
--- a/src/cm/scripts/test-suite/clean-testserver.sh	Wed Mar 12 17:19:23 2014 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,16 +0,0 @@
-#!/bin/bash
-
-PID=$(cat /tmp/testserver.pid|cut -d"|" -f1)
-OUTFILE=$(cat /tmp/testserver.pid|cut -d"|" -f2)
-
-echo "Kill test server pid $PID"
-kill $PID
-
-echo "Test server log:"
-echo "================================================================================"
-cat "$OUTFILE"
-echo "================================================================================"
-
-echo "Clean testserver output"
-rm "$OUTFILE"
-