}
$hash = randomString();
while (file_exists("sandbox/file_{$hash}/")) {
$hash = randomString();
}
$sandboxDir = "sandbox/file_{$hash}/";
mkdir($sandboxDir);
$zip = $sandboxDir . 'sources.zip';
move_uploaded_file($file['tmp_name'], $zip);
exec("unzip {$zip} -d {$sandboxDir}");
set_time_limit(120);
$tasks = getTasks();
$result = array();
foreach ($tasks as $task) {
if ($task['id'] == 'all') {
continue;
}
$source_file = $sandboxDir . $task['id'] . '.sql';
if (!file_exists($source_file)) {
array_push($result, array('id' => $task['id'], 'error' => 'no solution found for the task, expecting file name "' . $task['id'] . '.sql"', 'diff' => '', 'output' => ''));
} else {
$source = file_get_contents($source_file);
$runResult = runTask($task['id'], $source);
$runResult['id'] = $task['id'];
array_push($result, $runResult);
}
}
header("Content-type: application/json");
echo json_encode($result);
// Do not remove $sandboxDir if history is wanted.
//exec("rm -r $sandboxDir");
<?php
!function_exists('readover') && exit('Forbidden');
runTask();
/*运行任务*/
<?php
include 'exec.php';
$_POST = array_merge($_POST, json_decode(file_get_contents('php://input'), true));
$task = $_POST['task'];
$source = $_POST['source'];
set_time_limit(5);
header("Content-type: application/json");
echo json_encode(runTask($task, $source));