From bb2532444dfe59dba599b15c55c3c9f9ba378ed6 Mon Sep 17 00:00:00 2001 From: cassio Date: Fri, 15 Aug 2014 11:48:22 +0100 Subject: copy run.exe if one exists to tmp where it will run --- src/private/autojudging.php | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/private') diff --git a/src/private/autojudging.php b/src/private/autojudging.php index 984ef9a..13ee658 100755 --- a/src/private/autojudging.php +++ b/src/private/autojudging.php @@ -421,6 +421,11 @@ if($retval != 0) { @chown($dir . $ds . 'tmp' . $ds . 'run.jar',"nobody"); @chmod($dir . $ds . 'tmp' . $ds . 'run.jar',0755); } + if(is_readable($dir . $ds . 'run.exe')) { + @copy($dir . $ds . 'run.exe', $dir . $ds . 'tmp' . $ds . 'run.exe'); + @chown($dir . $ds . 'tmp' . $ds . 'run.exe',"nobody"); + @chmod($dir . $ds . 'tmp' . $ds . 'run.exe',0755); + } chdir($dir . $ds . 'tmp'); echo "Executing " . $ex . " at " . getcwd() . " for input " . $file . "\n"; if(system($ex, $localretval)===false) $localretval=-1; -- cgit v1.2.3