From 2d38fd259f56e8a8c04e35615e745b7250c8933b Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Sun, 1 Jul 2018 19:39:44 +0200 Subject: [PATCH] more timeout code moving --- contrib/.gitignore | 1 - doc/man/gnunet-timeout.1 | 20 ++++++++++++++++++++ 2 files changed, 20 insertions(+), 1 deletion(-) create mode 100644 doc/man/gnunet-timeout.1 diff --git a/contrib/.gitignore b/contrib/.gitignore index 304706d7e..d6ef469ba 100644 --- a/contrib/.gitignore +++ b/contrib/.gitignore @@ -2,7 +2,6 @@ gnunet_janitor.py gnunet_pyexpect.py pydiffer.py terminate.py -timeout_watchdog gnunet_pyexpect.py gnunet_pyexpect.pyc pydiffer.pyc diff --git a/doc/man/gnunet-timeout.1 b/doc/man/gnunet-timeout.1 new file mode 100644 index 000000000..e413254f4 --- /dev/null +++ b/doc/man/gnunet-timeout.1 @@ -0,0 +1,20 @@ +.TH GNUNET\-TIMOUET 1 "Jun 5, 2018" "GNUnet" + +.SH NAME +gnunet\-timeout \- run process with timeout + +.SH SYNOPSIS +.B gnunet\-timeout +.RI TIMEOUT PROGRAM ARGS +.br + +.SH DESCRIPTION +\fBgnunet\-timeout\fP can be used to run another process with a +timeout. Provided as the standard "timout" utility may not be +available on all platforms. + +.SH BUGS +Report bugs by using Mantis or by sending electronic mail to + +.SH SEE +timeout(1) -- 2.25.1