Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Handle EOF in web socket by shutting down stage #2695
As described in #2651, we're getting a noisy EOF when shutting down web sockets under certain circumstances. Usually we call
This feels a tad sloppy, but not as sloppy as scary errors in user logs for situations that should be harmless.
This patch wraps
This nesting with
The following would IMHO be preferrable: