That certainly doesn't sound like enough users to cause a too many open files issue. I've created a ticket here to investigate since we need to be sure that WebSocket connections are being closed properly.
Thanks for reporting this. If you encounter it again can you post here again?