]> 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 295e9ed18bd9347a91cf86f1f277b69c696452cc..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 conjuction
+       was specified. This option is mostly useful in conjuction
        with the -R option described below.
 "
 
        with the -R option described below.
 "