src/Pure/Tools/dump.scala
changeset 68946 6dd1460f6920
parent 68945 fa5d936daf1c
child 68947 ea804c814693
     1.1 --- a/src/Pure/Tools/dump.scala	Sat Sep 08 12:34:11 2018 +0200
     1.2 +++ b/src/Pure/Tools/dump.scala	Sat Sep 08 13:22:23 2018 +0200
     1.3 @@ -206,12 +206,12 @@
     1.4      -A NAMES     dump named aspects (default: """ + known_aspects.mkString("\"", ",", "\"") + """)
     1.5      -B NAME      include session NAME and all descendants
     1.6      -C SECONDS   delay for cleaning of already dumped theories (disabled for < 0, default: """ +
     1.7 -      default_commit_clean_delay.seconds.toInt + """)
     1.8 +      Value.Seconds(default_commit_clean_delay) + """)
     1.9      -D DIR       include session directory and select its sessions
    1.10      -O DIR       output directory for dumped files (default: """ + default_output_dir + """)
    1.11      -R           operate on requirements of selected sessions
    1.12 -    -W SECONDS   delay for cleaning of already dumped theories (disabled for < 0, default: """ +
    1.13 -      default_commit_clean_delay.seconds.toInt + """)
    1.14 +    -W SECONDS   delay for cleaning of already dumped theories (unlimited for 0, default: """ +
    1.15 +      Value.Seconds(default_watchdog_timeout) + """)
    1.16      -X NAME      exclude sessions from group NAME and all descendants
    1.17      -a           select all sessions
    1.18      -d DIR       include session directory