From dddad5bf2687ca3658b882163fad503ea8ac2198 Mon Sep 17 00:00:00 2001 From: ines Date: Mon, 22 May 2017 13:54:52 +0200 Subject: [PATCH] Update util.prints docs --- website/docs/api/util.jade | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/website/docs/api/util.jade b/website/docs/api/util.jade index 078d2a841..ed8b5d8e5 100644 --- a/website/docs/api/util.jade +++ b/website/docs/api/util.jade @@ -231,7 +231,7 @@ p data_path = Path('/some/path') if not path.exists(): util.prints("Can't find the path.", data_path, - title="Error", exits=True) + title="Error", exits=1) +table(["Name", "Type", "Description"]) +row @@ -243,5 +243,6 @@ p +cell #[code **kwargs] +cell - +cell - | #[code title] is rendered as coloured headline. #[code exits=True] - | performs system exit after printing. + | #[code title] is rendered as coloured headline. #[code exits] + | performs system exit after printing, using the value of the + | argument as the exit code, e.g. #[code exits=1].