From 6f384e57a2fe661f00c0bfeab68100b5016746be Mon Sep 17 00:00:00 2001 From: swhite Date: Fri, 30 Jun 2006 13:18:48 +0000 Subject: 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 --- doc/documentation.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') 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. -- cgit v1.2.3