]> git.pond.sub.org Git - empserver/commitdiff
tests: Run server with -E crash-dump
authorMarkus Armbruster <armbru@pond.sub.org>
Sun, 12 Jan 2014 16:21:04 +0000 (17:21 +0100)
committerMarkus Armbruster <armbru@pond.sub.org>
Sun, 19 Jan 2014 09:09:17 +0000 (10:09 +0100)
Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
tests/test-common.sh

index a2e22cc077e8975519e9220d093424b924e748da..5fc91dee07aa0337ecda9e9d7ba1bfe490bf17b0 100644 (file)
@@ -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