16 lines
420 B
Diff
16 lines
420 B
Diff
diff --git a/executer/user/mcexec.c b/executer/user/mcexec.c
|
|
index 2d0d50e..70856e7 100644
|
|
--- a/executer/user/mcexec.c
|
|
+++ b/executer/user/mcexec.c
|
|
@@ -3732,7 +3732,9 @@ return_execve1:
|
|
|
|
/* Copy program image phase */
|
|
case 2:
|
|
-
|
|
+ fprintf(stderr, "execve killed\n");
|
|
+ fflush(stderr);
|
|
+ kill(getpid(), SIGKILL);
|
|
ret = -1;
|
|
/* Alloc descriptor */
|
|
desc = malloc(w.sr.args[2]);
|