These lines should better be placed before running start_server.sh.