3 # Wrapper to the script so that its suppressed server messages get read on exit.
4 # and server_run/ get's deleted in any case.
5 ./start_server_client_union.sh "$@"
8 # For some reason, mere sync won't ensure a log is written out, so wait a while.