Fixed issue in which websocket didn't reuse port addresses properly.  Now it does.