mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-23 07:37:55 +00:00
Implemented selector recovery by transferring all keys to a newly created selector. Updated code so that it does not assume that the SelectionKey never changes.