Changes between Version 112 and Version 113 of ProjectOptions

Timestamp:

May 17, 2011, 2:08:14 PM (13 years ago)

Author:

davea

Comment:

--

ProjectOptions

@@ -72 +72 @@
 A task is considered time-out (and a new replica generated)
 if it is not reported by client_deadline + x.
+
+{{{
+<user_filter>0|1</user_filter>
+}}}
+If set, use the "batch" field of workunits to select which user is
+allowed to process the job.
+If batch is nonzero, only send the job to the user with that ID.
+
 {{{
 <workload_sim>0|1</workload_sim>