Changeset 6732:5fab3aaf21aa for sage/dsage/scripts/dsage_worker.py

Timestamp:

10/11/07 10:38:25 (6 years ago)

Author:

Yi Qiang <yqiang@…>

Branch:

default

Message:

Use sage.quit() instead of kill -9 when possible so no zombie processes get left behind.

File:

• sage/dsage/scripts/dsage_worker.py (modified) (1 diff)

sage/dsage/scripts/dsage_worker.py

@@ -477 +477 @@
         
         try:
-            pid = self.sage.pid()
-            cmd = 'kill -9 -%s'%pid
-            os.system(cmd)
+            self.sage.quit()
             del self.sage
         except Exception, msg:
+            pid = self.sage.pid()
+            cmd = 'kill -9 %s' % pid
+            os.system(cmd)
             log.msg(msg)