[Graveman-cvs] Changes to graveman/current/src/tools.c

[sylvain cresto]

Index: graveman/current/src/tools.c
diff -u graveman/current/src/tools.c:1.21 graveman/current/src/tools.c:1.22
--- graveman/current/src/tools.c:1.21   Mon May  2 23:18:32 2005
+++ graveman/current/src/tools.c        Wed May  4 01:31:06 2005
@@ -329,7 +329,11 @@
 {
   gint Lcmdstatus = 0;
 
-  if (Aabort) kill(Apid, SIGTERM);
+  if (Aabort) {
+    kill(Apid, SIGTERM);
+    sleep(1);
+    kill(Apid, SIGTERM);
+  }
   waitpid(Apid, &Lcmdstatus, 0);
   if ((WIFEXITED(Lcmdstatus) && WEXITSTATUS(Lcmdstatus)!=0) || 
(!(WIFEXITED(Lcmdstatus)))) {
     _DEB("oui une erreur [%d]\n", Lcmdstatus);