diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2019-04-17 22:46:39 +0300 |
|---|---|---|
| committer | Karen Arutyunov <karen@codesynthesis.com> | 2019-04-26 18:34:05 +0300 |
| commit | 559fbe0cbdb16f0c7c3a2f33e326a3b5930fd3f3 (patch) | |
| tree | 6b767619db5cd11737b3bdd6b2e7c10e100c7018 /mod/options.cli | |
| parent | 86c8ca15782026e1927fd36021a8b2b2972b7d71 (diff) | |
Add support for overrides parameter in CI request handler
Diffstat (limited to 'mod/options.cli')
| -rw-r--r-- | mod/options.cli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/mod/options.cli b/mod/options.cli index 01309dc..00b88db 100644 --- a/mod/options.cli +++ b/mod/options.cli @@ -797,6 +797,13 @@ namespace brep // strings package; + // Overrides file name. Must be <input type="file"/>. + // + // Note that we don't really need this name and only check if this + // parameter is specified to detect presence of the upload. + // + string overrides; + // Submission simulation outcome. // string simulate; |