Service refresh.

diff --git a/man/man8/service.8 b/man/man8/service.8
index ad5bdf139ce9013fc5fe7cbe90a5452b72eba7a9..0596f9397e30628adb020498de6fcff777dd4ea3 100644 (file)
--- 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<pid>\fR
 .PP
+\fBservice refresh\fR \fI<pid>\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.