I'd be interested to know if anybody has used this in production. I've used Websocketd for quick and dirty prototyping and making things like in-browser monitor

I'd be interested to know if anybody has used this in production. I've used Websocketd for quick and dirty prototyping and making things like in-browser monitoring tools and it was very fast to setup, but a full-fledged library like Gorilla or uWebsockets seems more practical for real-world applications with thousands or more simultaneous users.