Optimization: Terminate the script on exit to save 10ms

2025-03-10 05:00:46 +01:00 · 2017-06-20 19:27:55 +10:00 · 2017-06-20 19:27:55 +10:00 · 0840d57d02
commit 0840d57d02
parent 2fa954d2a8
1 changed files with 3 additions and 1 deletions
--- a/4
+++ b/4
@ -568,7 +568,9 @@ def main():
                         stderr=open("/dev/null", "w"),
                         preexec_fn=os.setpgrp)

-    return 0
+    # This saves 10ms.
+    # pylint: disable=W0212
+    os._exit(0)


 main()