diff options
| -rwxr-xr-x | debuginfofs.init | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/debuginfofs.init b/debuginfofs.init index b77f17a..846d9db 100755 --- a/debuginfofs.init +++ b/debuginfofs.init @@ -8,10 +8,9 @@ # Description: Mount a remote debuginfo filesystem for use with debugging tools ### END INIT INFO -# debuginfofs This shell script takes care of mounting and unmounting the -# debuginfo filesystem. +# debuginfofs Mounts/unmounts the debuginfo filesystem # -# chkconfig: - 60 50 +# chkconfig: - 85 15 # description: debuginfofs mounts a WebDAV share of debuginfo files at the \ # appropriate place(s) in the filesystem for use by gdb and other \ # debugging tools. @@ -70,7 +69,7 @@ case "$1" in stop) stop ;; - restart|reload) + restart|reload|force-reload) stop start RETVAL=$? |