tests: Run server with -E crash-dump
Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
This commit is contained in:
parent
48ee722a48
commit
e444cac552
1 changed files with 2 additions and 1 deletions
|
@ -55,6 +55,7 @@ start_server()
|
||||||
# - Shell builtin kill appears not to do the job in MinGW
|
# - Shell builtin kill appears not to do the job in MinGW
|
||||||
# - The Windows server tries to run as service when -d isn't
|
# - The Windows server tries to run as service when -d isn't
|
||||||
# specified
|
# specified
|
||||||
|
# - The Windows server does not implement -E crash-dump
|
||||||
#
|
#
|
||||||
# TODO address these shortcomings.
|
# TODO address these shortcomings.
|
||||||
#
|
#
|
||||||
|
@ -62,7 +63,7 @@ start_server()
|
||||||
|
|
||||||
pid=
|
pid=
|
||||||
trap 'if [ "$pid" ]; then kill -9 "$pid" 2>/dev/null || true; fi' EXIT
|
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))
|
timeout=$((`now`+5))
|
||||||
until pid=`cat $pidfile 2>/dev/null` && [ -n "$pid" ]
|
until pid=`cat $pidfile 2>/dev/null` && [ -n "$pid" ]
|
||||||
do
|
do
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue