1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
# Some shell functions
start_test_server () {
rm -f server.port
mkfifo server.port
# Start the server in the background:
if [ -n "$TRACED_SERVER" ]; then
strace ./test_server -protocol "$@" 2>server.out &
else
./test_server -protocol "$@" 2>server.out &
fi
# Get the first line of the server.port file, which is
# the port number the server listens on:
read server_port <server.port
#echo "Server_port: $server_port" 1>&2
}
stop_test_server () {
if [ -f "server.pid" ]; then
kill `cat server.pid`
fi
}
request () {
if [ -n "$TRACED_CLIENT" ]; then
strace ./test_client -verbose -port "$server_port" "$@" 2>client.out
elif [ -n "$DEBUGGED_CLIENT" ]; then
ocamldebug -I .. ./test_client -verbose -port "$server_port" "$@"
elif [ -n "$GDB_CLIENT" ]; then
gdb --args ./run ./test_client -verbose -port "$server_port" "$@"
else
./test_client -verbose -port "$server_port" "$@" 2>client.out
fi
}
|
