mirror of
https://gitcode.com/gh_mirrors/hy/Hydro.git
synced 2026-10-20 01:38:19 +08:00
judge: add process limit to setting
This commit is contained in:
1 parent
ea427a112a
commit
e5a9d6cb0a
5 files changed
+9
-2
No files matched your search
@@ -1,7 +1,7 @@
|
|||||||
{
|
{
|
||||||
"name": "@hydrooj/hydrojudge",
|
"name": "@hydrooj/hydrojudge",
|
||||||
"bin": "bin/hydrojudge.js",
|
"bin": "bin/hydrojudge.js",
|
||||||
"version": "2.11.1",
|
"version": "2.11.2",
|
||||||
"main": "package.json",
|
"main": "package.json",
|
||||||
"author": "undefined <i@undefined.moe>",
|
"author": "undefined <i@undefined.moe>",
|
||||||
"repository": "https://github.com/hydro-dev/Hydro.git",
|
"repository": "https://github.com/hydro-dev/Hydro.git",
|
||||||
|
|||||||
@@ -18,6 +18,11 @@ stdio_size:
|
|||||||
name: stdio_size
|
name: stdio_size
|
||||||
desc: Stdout/Stderr size
|
desc: Stdout/Stderr size
|
||||||
default: 32m
|
default: 32m
|
||||||
|
processLimit:
|
||||||
|
type: number
|
||||||
|
name: processLimit
|
||||||
|
desc: Process Limit
|
||||||
|
default: 32
|
||||||
testcases_max:
|
testcases_max:
|
||||||
type: number
|
type: number
|
||||||
name: testcases_max
|
name: testcases_max
|
||||||
|
|||||||
@@ -19,6 +19,7 @@ let config = {
|
|||||||
sandbox_host: 'http://localhost:5050',
|
sandbox_host: 'http://localhost:5050',
|
||||||
testcases_max: 100,
|
testcases_max: 100,
|
||||||
total_time_limit: 60,
|
total_time_limit: 60,
|
||||||
|
processLimit: 32,
|
||||||
parallelism: 2,
|
parallelism: 2,
|
||||||
rerun: 0,
|
rerun: 0,
|
||||||
rate: 1,
|
rate: 1,
|
||||||
|
|||||||
@@ -27,7 +27,7 @@ function proc({
|
|||||||
execute = '',
|
execute = '',
|
||||||
time = 16000,
|
time = 16000,
|
||||||
memory = parseMemoryMB(getConfig('memoryMax')),
|
memory = parseMemoryMB(getConfig('memoryMax')),
|
||||||
process_limit = 32,
|
process_limit = getConfig('processLimit'),
|
||||||
stdin = '', copyIn = {}, copyOut = [], copyOutCached = [],
|
stdin = '', copyIn = {}, copyOut = [], copyOutCached = [],
|
||||||
} = {}) {
|
} = {}) {
|
||||||
if (!supportOptional) {
|
if (!supportOptional) {
|
||||||
|
|||||||
@@ -177,6 +177,7 @@ SystemSetting(
|
|||||||
Setting('setting_server', 'server.name', 'Hydro', 'text', 'server.name', 'Server Name'),
|
Setting('setting_server', 'server.name', 'Hydro', 'text', 'server.name', 'Server Name'),
|
||||||
Setting('setting_server', 'server.displayName', 'Hydro', 'text', 'server.name', 'Server Name (Global Display)', FLAG_PRO),
|
Setting('setting_server', 'server.displayName', 'Hydro', 'text', 'server.name', 'Server Name (Global Display)', FLAG_PRO),
|
||||||
Setting('setting_server', 'server.url', '/', 'text', 'server.url', 'Server BaseURL'),
|
Setting('setting_server', 'server.url', '/', 'text', 'server.url', 'Server BaseURL'),
|
||||||
|
Setting('setting_server', 'server.upload', '256m', 'text', 'server.upload', 'Max upload file size'),
|
||||||
Setting('setting_server', 'server.cdn', '/', 'text', 'server.cdn', 'CDN Prefix'),
|
Setting('setting_server', 'server.cdn', '/', 'text', 'server.cdn', 'CDN Prefix'),
|
||||||
Setting('setting_server', 'server.port', 8888, 'number', 'server.port', 'Server Port'),
|
Setting('setting_server', 'server.port', 8888, 'number', 'server.port', 'Server Port'),
|
||||||
Setting('setting_server', 'server.xff', null, 'text', 'server.xff', 'IP Header'),
|
Setting('setting_server', 'server.xff', null, 'text', 'server.xff', 'IP Header'),
|
||||||
|
|||||||
Reference in new issue
Block a user