Parameter for the launcher port number