blob: f4953e1b47603d71e1acf7cbb98e107194803875 (
plain)
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
41
42
43
44
45
46
47
|
#!/usr/bin/env bash
# Specify the path to the RDL repo as argument one.
# Argument 2 cna be a log file for the RDL output.
# This script will create a .pid file and report in the current directory.
set -e
if [ $# -lt 1 ]; then
echo "Please give the path to the RDL repo as argument one."
exit 5
else
RDL_PATH=$1
fi
PID_FILE="`pwd`.pid"
function start_server() {
pushd $RDL_PATH
bin/start_server.sh --pid_file=$PID_FILE
popd
}
function stop_server() {
if [ -f $PID_FILE ];
then
pushd $RDL_PATH
bin/stop_server.sh $PID_FILE
popd
else
echo "The pid file did not exist, so not stopping server."
fi
}
function on_error() {
echo "Something went wrong!"
stop_server
}
trap on_error EXIT # Proceed to trap - END in event of failure.
start_server
tox
stop_server
trap - EXIT
echo "Ran tests successfully. :)"
exit 0
|
