diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2018-08-23 15:09:58 +0300 |
|---|---|---|
| committer | Karen Arutyunov <karen@codesynthesis.com> | 2018-08-24 14:08:04 +0300 |
| commit | 6e7616b5ea02b61e15e4a8dcbbcf2978822730ce (patch) | |
| tree | 1635c3fb688f051d937b7faa562b3ecfb99d517d /doc/manual.cli | |
| parent | c96ccf5e3cd131e9f3edbd3516b0251dd4461071 (diff) | |
Treat implied manifest same as handler-generated one and make stashed dirs extension '.fail.<number>'
Diffstat (limited to 'doc/manual.cli')
| -rw-r--r-- | doc/manual.cli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual.cli b/doc/manual.cli index f3f1335..322c414 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -111,7 +111,7 @@ exit in the allotted time, then it is killed and its termination is treated as abnormal. If the handler program is not specified, then the following submission result -manifest is implied (note that it is not saved): +manifest is implied: \ status: 200 @@ -268,7 +268,7 @@ exit in the allotted time, then it is killed and its termination is treated as abnormal. If the handler program is not specified, then the following CI result -manifest is implied (note that it is not saved): +manifest is implied: \ status: 200 |