diff options
author | swhite <swhite@e5a5a894-0e4f-0410-be11-d22c8b0a171a> | 2006-06-30 13:18:48 +0000 |
---|---|---|
committer | swhite <swhite@e5a5a894-0e4f-0410-be11-d22c8b0a171a> | 2006-06-30 13:18:48 +0000 |
commit | 6f384e57a2fe661f00c0bfeab68100b5016746be (patch) | |
tree | 05124f9de75bc072749876b7e5d575e9e96602c9 /doc | |
parent | 02437564319f1e56f791a0e7fa8a516c5bf6cbf2 (diff) |
Got rid of watchminutes Cactus variable in favour of a local variable.
Suspect the use of this variable caused a crash.
Tidied up output a bit.
git-svn-id: http://svn.aei.mpg.de/numrel/AEIThorns/ManualTermination/trunk@15 e5a5a894-0e4f-0410-be11-d22c8b0a171a
Diffstat (limited to 'doc')
-rw-r--r-- | doc/documentation.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/documentation.tex b/doc/documentation.tex index 1decb0d..e36378c 100644 --- a/doc/documentation.tex +++ b/doc/documentation.tex @@ -87,7 +87,7 @@ environment variable. If the environment variable \texttt{MANUAL\_TERMINATION\_JOB\_ID} is set, that will be used instead as the \texttt{\textit{job\_id}}. -In this configuration, any user may terminate the run by putting a '1' into +In this configuration, any user may terminate the run by putting a `1' into the specified file. The the termination file is removed when the run shuts down. |