# HG changeset patch
# User Edouard Tisserant
# Date 1336492127 -7200
# Node ID cd5a51829416926447d0797b894bac476446abd9
# Parent  a94f361fc42e753fcd32ec020754df31052d9604
fixed non-terminating process problem

diff -r a94f361fc42e -r cd5a51829416 ProcessLogger.py
--- a/ProcessLogger.py	Tue May 08 17:16:37 2012 +0200
+++ b/ProcessLogger.py	Tue May 08 17:48:47 2012 +0200
@@ -131,7 +131,11 @@
                       self.errors)
         self.errt.start()
 
-        Timer(timeout,self.endlog).start()
+        if timeout:
+            self.timeout = Timer(timeout,self.endlog)
+            self.timeout.start()
+        else:
+            self.timeout = None
 
     def output(self,v):
         self.outdata.append(v)
@@ -154,6 +158,7 @@
         self.logger.write_warning(_("exited with status %s (pid %s)\n")%(str(ecode),str(pid)))
 
     def finish(self, pid,ecode):
+        if self.timeout: self.timeout.cancel()
         self.exitcode = ecode
         if self.exitcode != 0:
             self.log_the_end(ecode,pid)