--- system-config-bind-4.0.2/GUI.py.old 2007-01-23 16:18:40.000000000 +0100
+++ system-config-bind-4.0.2/GUI.py 2007-01-23 16:23:14.000000000 +0100
@@ -155,6 +155,14 @@
return True
def show_manual(self, dialog, event=None):
+ if (hasattr(self,'manual_pid')) and self.manual_pid != 0:
+ # process already exist -> check it
+ try:
+ os.waitpid(self.manual_pid, os.WNOHANG)
+ self.manual_pid = 0
+ except:
+ self.manual_pid = 0
+
if (not hasattr(self,'manual_pid')) or (os.access('/proc/'+str(self.manual_pid), os.F_OK)==0):
try:
self.manual_pid=os.fork()
@@ -183,6 +191,14 @@
return
def show_arm(self, dialog, event=None):
+ if (hasattr(self,'arm_pid')) and self.arm_pid != 0:
+ # process already exist -> check it
+ try:
+ os.waitpid(self.arm_pid, os.WNOHANG)
+ self.arm_pid = 0
+ except:
+ self.arm_pid = 0
+
if (not hasattr(self,'arm_pid')) or (os.access('/proc/'+str(self.arm_pid), os.F_OK)==0):
try:
self.arm_pid=os.fork()