From e67d50a3c662669be408b240a5516ee641fe3586 Mon Sep 17 00:00:00 2001 From: Jorrit Herder Date: Thu, 20 Oct 2005 20:19:25 +0000 Subject: [PATCH] Service refresh. --- man/man8/service.8 | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/man/man8/service.8 b/man/man8/service.8 index ad5bdf139..0596f9397 100644 --- a/man/man8/service.8 +++ b/man/man8/service.8 @@ -8,6 +8,8 @@ service \- Start or stop an operating system server or device driver. .PP \fBservice down\fR \fI\fR .PP +\fBservice refresh\fR \fI\fR +.PP \fBservice shutdown\fR .br .de FL @@ -36,7 +38,8 @@ appended with 'HZ' to make it seconds. Stopping a system service requires the process id of a running system service. Issuing a kill command from the shell will not work, since the reincarnation server interprets this as an unexpected exit and will automatically restart -a fresh copy of the process. +a fresh copy of the process. The clean way to restart a process is using the +'refresh' option of the service utility. .PP If the system is to be shutdown, the reincarnation server should know about this event to prevent it from restarting services that are killed during the shutdown sequence. -- 2.44.0