## Test body...
$3
-## End of the test, now run the server.
+## End of the test, now run the server. There's an awful hack here. If a
+## process running under strace exits with a signal, then strace will kill
+## itself with the same signal -- and therefore clobber the original
+## process's core file. So we arrange to run strace in one directory and
+## have the child process run in another.
) && :; } | {
cd $1
+ mkdir -p strace-hack/
echo TRIPE $2 >&2
- strace -f -o tripe.trace TRIPE $2 >server-output 2>server-errors
+ (cd strace-hack/
+ ulimit -c hard >/dev/null 2>&1
+ strace -f -o ../tripe.trace \
+ TRIPE -d.. $2 >../server-output 2>../server-errors)
stat=$?
echo $stat >server-status
if test $stat -ne 0; then