Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Call os._exit() for faster shut down in the normal case #5569
This can have a big performance impact in the future once we migrate to a mypyc-compiled mypy -- around 20% for non-incremental runs. The impact is sufficiently big that I'd rather have this enabled by default. If this breaks some use cases, we can deal with them once they get reported. A 20% performance gain makes it worth it, I think. And if there are rare issues, I'd lean towards providing a
Some plugin might theoretically be affected, but the plugin API is undocumented and any changes needed to plugins should hopefully be small. If there is a real need for some plugin to do something at process exit, we can provide additional exit hooks that are guaranteed to be run even when doing a hard exit.