From e444cac55280cfbcf1231f25c0cc3476e359bb35 Mon Sep 17 00:00:00 2001 From: Markus Armbruster Date: Sun, 12 Jan 2014 17:21:04 +0100 Subject: [PATCH] tests: Run server with -E crash-dump Signed-off-by: Markus Armbruster --- tests/test-common.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tests/test-common.sh b/tests/test-common.sh index a2e22cc0..5fc91dee 100644 --- a/tests/test-common.sh +++ b/tests/test-common.sh @@ -55,6 +55,7 @@ start_server() # - Shell builtin kill appears not to do the job in MinGW # - The Windows server tries to run as service when -d isn't # specified + # - The Windows server does not implement -E crash-dump # # TODO address these shortcomings. # @@ -62,7 +63,7 @@ start_server() pid= trap 'if [ "$pid" ]; then kill -9 "$pid" 2>/dev/null || true; fi' EXIT - src/server/emp_server -e sandbox/etc/empire/econfig -R 1 -s + src/server/emp_server -e sandbox/etc/empire/econfig -R 1 -s -E crash-dump timeout=$((`now`+5)) until pid=`cat $pidfile 2>/dev/null` && [ -n "$pid" ] do