aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorKaren Arutyunov <karen@codesynthesis.com>2018-08-23 15:09:58 +0300
committerKaren Arutyunov <karen@codesynthesis.com>2018-08-24 14:08:04 +0300
commit6e7616b5ea02b61e15e4a8dcbbcf2978822730ce (patch)
tree1635c3fb688f051d937b7faa562b3ecfb99d517d /doc
parentc96ccf5e3cd131e9f3edbd3516b0251dd4461071 (diff)
Treat implied manifest same as handler-generated one and make stashed dirs extension '.fail.<number>'
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.cli4
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