[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.11 graveman/current/src/tools.c:1.12
--- graveman/current/src/tools.c:1.11   Sat Feb 12 22:28:29 2005
+++ graveman/current/src/tools.c        Tue Feb 15 22:44:44 2005
@@ -317,14 +317,14 @@
 }
 
 /* fin d'un programme externe, on defini une erreur si il ne s'est pas terminé 
correctement */
-void exit_prog(gint Apid, GError **Aerror, gchar *Adefmsg)
+void exit_prog(gint Apid, gboolean Aabort, GError **Aerror, gchar *Adefmsg)
 {
   gint Lcmdstatus = 0;
 
-  kill(Apid, SIGTERM);
+  if (Aabort) kill(Apid, SIGTERM);
   waitpid(Apid, &Lcmdstatus, 0);
-
   if ((WIFEXITED(Lcmdstatus) && WEXITSTATUS(Lcmdstatus)!=0) || 
(!(WIFEXITED(Lcmdstatus)))) {
+    _DEB("oui une erreur\n");
     if (Aerror && !*Aerror) {
       g_set_error(Aerror, GRAVEMAN_ERROR, _ERR_UNKNOWN_ERROR, Adefmsg ? 
Adefmsg : _("Operation failed"));
     }