]> git.tuebingen.mpg.de Git - dss.git/blobdiff - dss.ggo
Merge commit 'remotes/meins/master'
[dss.git] / dss.ggo
diff --git a/dss.ggo b/dss.ggo
index a0a3503c6862c56eaeb15a75d7d55598eca3eac5..e91a4c5b90d4fd7ca015f77bf3264ff06e0e6b03 100644 (file)
--- a/dss.ggo
+++ b/dss.ggo
@@ -21,6 +21,17 @@ details="
        configuration file. As usual, if an option is given both at
        the command line and in the configuration file, the command
        line option takes precedence.
        configuration file. As usual, if an option is given both at
        the command line and in the configuration file, the command
        line option takes precedence.
+
+       However, there is an important exception to this rule:
+       If the --run option was given (see below) then dss honors
+       SIGHUP and re-reads its configuration file whenever it
+       receives this signal. In this case the options in the config
+       file override any options that were previously given at the
+       command line. This allows to change the configuration of a
+       running dss process on the fly by sending SIGHUP.
+
+       Note that it is not possible to change whether dss runs as
+       background daemon by sending SIGHUP.
 "
 
 option "daemon" d
 "
 
 option "daemon" d
@@ -30,7 +41,7 @@ flag off
 dependon="logfile"
 details="
        Note that dss refuses to start in daemon mode if no logfile
 dependon="logfile"
 details="
        Note that dss refuses to start in daemon mode if no logfile
-       was specified. This option makes sense only in conjunction
+       was specified. This option is mostly useful in conjuction
        with the -R option described below.
 "
 
        with the -R option described below.
 "