fix(py): make cleanup() best-effort and prevent duplicate mod_server() retries - #309

fix(py): make cleanup() best-effort and prevent duplicate mod_server() retries#309

cpsievert wants to merge 1 commit into

mainposit-dev/querychat:mainfrom

fix/py-server-cleanup-hardeningposit-dev/querychat:fix/py-server-cleanup-hardeningCopy head branch name to clipboard