#!/bin/csh

# Make sure that there aren't any copies
# left around that are running.
pkill userver

echo "Starting server"
./userver >& SERVER-OUT &

# Give the server a chance to start
sleep 2

# Run the set of tests
echo "Starting docs Tests"
./testing/do_test 0 docs/1B.txt 1
./testing/do_test 0 docs/10B.txt 2
./testing/do_test 0 docs/1K.txt 3
./testing/do_test 0 docs/2K.txt 4
./testing/do_test 0 docs/3K.txt 5
./testing/do_test 0 docs/4K.txt 6
./testing/do_test 0 docs/5K.txt 7
./testing/do_test 0 docs/10K.txt 8
./testing/do_test 0 docs/100K.txt 9
./testing/do_test 0 docs/1M.txt 10

echo "Killing server"
pkill userver
sleep 2
