fix bug with the port number used to create servers
clean up whitespace in elnode-stop
latest elnode