Skip to content

fix: only stop genserver if connection is closed for reading, too.#285

Merged
mruoss merged 2 commits intodevelopfrom fix-stopping-genserverOct 17, 2023

Commits

Commits on Oct 13, 2023