Fix nitdbg_websocket_server

Regression tests did not catch that `nitdbg_websocket_server` was broken.
Fix that