# HG changeset patch
# User Changaco <changaco ατ changaco δοτ net>
# Date 1335485425 -7200
# Node ID f22369c004804d8ce326b91c6ae71c2cc6fcdc5a
# Parent  868a339b19f8b6f65033d5ed40fa6b469db6ecff
fix double forking

Signed-off-by: Changaco <changaco ατ changaco δοτ net>

diff --git a/feed-push b/feed-push
--- a/feed-push
+++ b/feed-push
@@ -291,6 +291,7 @@ if __name__ == '__main__':
         pid = os.fork()
         if pid != 0:
             exit(0)
+        os.setsid()
         pid = os.fork()
         if pid != 0:
             global_args.fork.write(str(pid))