3 # Wrapper to the script so that its suppressed server messages get read on exit.
4 ./start_server_client_union.sh "$@"
6 # Give server up to ten seconds to wind down properly.
8 while [ -e ./server_run/in ] && [ $i -le 100 ]
10 echo 'QUIT' >> server_run/in
16 # For some reason, mere sync won't ensure a log is written out, so wait a while.