From: Jorrit Herder Date: Thu, 20 Oct 2005 20:19:25 +0000 (+0000) Subject: Service refresh. X-Git-Tag: v3.1.2a~598 X-Git-Url: http://zhaoyanbai.com/repos/%22http:/www.isc.org/icons/zpipe.c?a=commitdiff_plain;h=e67d50a3c662669be408b240a5516ee641fe3586;p=minix.git Service refresh. --- 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.