Is is possible that the script runs forever if the server does not launch (for some reasons)? Should we add a timeout as well?