Skip to content

Make graceful shutdown easy #199

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
nhooyr opened this issue Feb 26, 2020 · 0 comments · Fixed by #200
Closed

Make graceful shutdown easy #199

nhooyr opened this issue Feb 26, 2020 · 0 comments · Fixed by #200
Labels
enhancement
Milestone
v1.9.0

Comments

@nhooyr
Copy link
Contributor

nhooyr commented Feb 26, 2020

No description provided.

@nhooyr nhooyr self-assigned this Feb 26, 2020
nhooyr added a commit that referenced this issue Feb 26, 2020
@nhooyr
Add Grace to gracefully close WebSocket connections
268b8ce 
Closes #199
@nhooyr nhooyr mentioned this issue Feb 26, 2020
Merged
@nhooyr nhooyr removed their assignment Feb 26, 2020
nhooyr added a commit that referenced this issue Feb 26, 2020
@nhooyr
Add Grace to gracefully close WebSocket connections
b0c36b9 
Closes #199
@nhooyr nhooyr mentioned this issue Feb 26, 2020
Closed
@nhooyr nhooyr added this to the v1.9.0 milestone Feb 26, 2020
nhooyr added a commit that referenced this issue Feb 27, 2020
@nhooyr
Add Grace to gracefully close WebSocket connections
97172f3 
Closes #199
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
v1.9.0
Development

Successfully merging a pull request may close this issue.

Add Grace to gracefully close WebSocket connections coder/websocket
1 participant
@nhooyr