diff options
| author | Karen Arutyunov <karen@codesynthesis.com> | 2018-08-09 00:42:46 +0300 |
|---|---|---|
| committer | Karen Arutyunov <karen@codesynthesis.com> | 2018-08-21 13:56:36 +0300 |
| commit | e3533fd4c2fc90969b77d2ddaccbda649dd74973 (patch) | |
| tree | 6c25d1ee37cbe04a9bce7b846798c5d636ba7503 /mod/options.cli | |
| parent | e3a8a11f7fdc64a560810cf021080c61c7d69dc5 (diff) | |
Implement submit-git
Diffstat (limited to 'mod/options.cli')
| -rw-r--r-- | mod/options.cli | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/mod/options.cli b/mod/options.cli index 992ffc4..59aceb6 100644 --- a/mod/options.cli +++ b/mod/options.cli @@ -458,6 +458,14 @@ namespace brep (see \cb{submit-handler} for details). Repeat this option to specify multiple arguments." } + + size_t submit-handler-timeout + { + "<seconds>", + "The handler program timeout in seconds. If specified and the handler + does not exit in the alloted time, then it is killed and its + termination is treated as abnormal." + } }; class repository_root: handler |