Skip to content
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.

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

Remove WebSocket support and misc cleanup/removals #234

Merged
merged 1 commit into from
Feb 12, 2022

Conversation

jordaneremieff
Copy link
Owner

Refs: #233

This project has become very difficult to understand and maintain. WebSocket support is going to be removed, and a few other non-critical things have been removed. I intend to do some significant refactoring at some point, so this is just an initial step towards that goal.

@jordaneremieff jordaneremieff merged commit 8505788 into main Feb 12, 2022
@jordaneremieff jordaneremieff deleted the remove-websockets branch February 12, 2022 13:34
vitorcarareto added a commit to vitorcarareto/mangum that referenced this pull request Jan 18, 2023
…erally in preparation for refactoring. (jordaneremieff#234)"

This reverts commit 8505788.
khamaileon pushed a commit to khamaileon/mangum that referenced this pull request Jan 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant