Make sure port is freed when websocket server is closed via .stop()

Make sure port is freed when websocket server is closed via .stop() #1206