From f906b9cfbcafa51612cb386fbd1b38b93fdd9308 Mon Sep 17 00:00:00 2001 From: Nikos Mavrogiannopoulos Date: Wed, 3 Jun 2026 19:53:21 +0200 Subject: [PATCH] ocserv.8.md: document that pid-file is available in config Signed-off-by: Nikos Mavrogiannopoulos --- doc/ocserv.8.md | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/ocserv.8.md b/doc/ocserv.8.md index 968e3b60..3c7b04a3 100644 --- a/doc/ocserv.8.md +++ b/doc/ocserv.8.md @@ -60,6 +60,7 @@ server. * **-p, --pid-file**=_FILE_: Specify a PID file for the server. + This option is also available as the configuration file key **pid-file**. * **-e, --log-stderr**: Log to stderr.