Browse Source

把最大时间增加10倍

master
richie 5 years ago
parent
commit
5f079f3a48
  1. 3
      src/runner/run.ts

3
src/runner/run.ts

@ -64,7 +64,8 @@ export async function runProgram(language: Language,
const dataDir_Sandbox = '/sandbox/1'; const dataDir_Sandbox = '/sandbox/1';
const binDir_Sandbox = '/sandbox/2'; const binDir_Sandbox = '/sandbox/2';
const runConfig = language.run(binDir_Sandbox, dataDir_Sandbox, time, memory, stdinFile, stdoutFile, stderrFile); // 最大时间增加10倍
const runConfig = language.run(binDir_Sandbox, dataDir_Sandbox, time * 10, memory, stdinFile, stdoutFile, stderrFile);
const sandboxParam = sandboxize(runConfig, [{ const sandboxParam = sandboxize(runConfig, [{
src: binDir, src: binDir,

Loading…
Cancel
Save