diff options
| author | Will Woods <wwoods@redhat.com> | 2009-03-03 11:50:35 -0500 |
|---|---|---|
| committer | Will Woods <wwoods@redhat.com> | 2009-03-03 11:50:35 -0500 |
| commit | d0c98fe800bd2e7ad2343690809f3172caae2d71 (patch) | |
| tree | 82a219436730df55c6c225903567d321675c02c0 | |
| parent | 62a80a1d67357a0e35b35b2dc4c6ef7b70c43626 (diff) | |
| download | debuginfofs-d0c98fe800bd2e7ad2343690809f3172caae2d71.tar.gz debuginfofs-d0c98fe800bd2e7ad2343690809f3172caae2d71.tar.xz debuginfofs-d0c98fe800bd2e7ad2343690809f3172caae2d71.zip | |
Fix start/stop priorities, handle force-reload
| -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=$? |