Skip to content

Use gevent for WSGI#128

Merged
1over137 merged 3 commits intoFreeLanguageTools:masterfrom
RasmusRendal:gevent
Jan 9, 2024
Merged

Use gevent for WSGI#128
1over137 merged 3 commits intoFreeLanguageTools:masterfrom
RasmusRendal:gevent

Conversation

@RasmusRendal
Copy link
Copy Markdown
Contributor

This introduces WSGI as a dependency. In theory the webserver might be slightly faster, but the real point is to lose that shady-looking warning about the Flask development server

RasmusRendal and others added 3 commits January 8, 2024 19:14
This may be slightly faster than the default flask one in some
instances. But far more importantly, we get rid of that ugly warning in
the console
How did that get there?
@1over137 1over137 merged commit 5991ad7 into FreeLanguageTools:master Jan 9, 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.

2 participants