diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-14 12:03:21 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-14 12:13:13 +0200 |
commit | 7ae2d8824ab59dfbda6eaf7f621b6d3bfdec56e7 (patch) | |
tree | 4987e418a54276c43edc20aff395793455f8b843 /python/runner/terminator.c | |
parent | ee5da92aeffcc3505e2be2efeb1a235ab852709a (diff) |
Add support for command arguments to sandbox
Diffstat (limited to 'python/runner/terminator.c')
-rw-r--r-- | python/runner/terminator.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/python/runner/terminator.c b/python/runner/terminator.c index 0706957..9eaca83 100644 --- a/python/runner/terminator.c +++ b/python/runner/terminator.c @@ -2,8 +2,7 @@ #include <signal.h> #include <stdio.h> #include <stdlib.h> -#include <sys/stat.h> -#include <sys/types.h> +#include <unistd.h> int main(int argc, char* argv[]) { |