- Fix another concurrency issue with the WebSockets server (issue #253).