fixed websocket server log -- now shows port number when started instead
of undefined