1 files changed, 3 insertions, 1 deletions
diff --git a/wal b/wal
index a183c9b..5007d13 100755
--- a/wal
+++ b/wal
@@ -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()