fi
# Use shell script's arguments for server and pipe server output to log file.
# This script's wrapper script will read it out on exit.
fi
# Use shell script's arguments for server and pipe server output to log file.
# This script's wrapper script will read it out on exit.