From 9e12063265008b7e307889aa42b0d50a8411c5b0 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Fri, 17 Sep 2004 21:48:38 +0000
Subject: [PATCH] nicer: use kill() instead of a system() call
---
utils/misc/callgmsh.c | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/utils/misc/callgmsh.c b/utils/misc/callgmsh.c
index 78ae3ac52d..87aa1a8f44 100644
--- a/utils/misc/callgmsh.c
+++ b/utils/misc/callgmsh.c
@@ -1,12 +1,12 @@
#include <stdlib.h>
#include <stdio.h>
-#include <string.h>
+#include <sys/types.h>
+#include <signal.h>
int main(void)
{
int i, pid;
FILE *fp;
- char str[32];
for(i = 0; i < 5; i++){
system("gmsh -pid fichier.msh fichier.pos > /tmp/gmsh.pid &");
@@ -18,7 +18,6 @@ int main(void)
fscanf(fp, "%d", &pid);
fclose(fp);
- sprintf(str, "kill %d", pid);
- system(str);
+ kill(pid, 9);
}
}
--
GitLab