4 export URL_PREFIX=http://10.0.2.2
8 wget -q --post-data="Timeout" -O /dev/null http://localhost:$STATUS_PORT//FAIL
14 kill -9 $GATLING_PID $KVM_PID $SERVER_PID $TIMEOUT_PID $$ 2>/dev/null
19 python -m SimpleHTTPServer $COMMON_PORT >/dev/null 2>&1 &
21 kvm -kernel "$KERNEL" -initrd "$INITRD" -append "$CMDLINE" -vnc :0 -cdrom "$CDROM" -boot d $KVM_PARAMS &
23 $SERVER_STATUS -p $STATUS_PORT -t "$TEST_NAME" &
28 ( sleep $TIMEOUT_TIME ; kill -16 $$; )2>/dev/null &
32 trap timeout_handler 16
33 trap bailout QUIT INT EXIT
38 # $RANDOM is not set in dash
39 if [ -z "$RANDOM" ] ; then
40 echo "Variable \$RANDOM not set, can not choose random port. Exiting.">&2
44 while [ $COMMON_PORT -lt 1024 ] || [ $STATUS_PORT -lt 1024 ] ; do