Changes by: Matthew Maurer (maurer at caltech.edu)
Date: 2007-07-30 14:25:53 -0700 (Mon, 30 Jul 2007)
Revision: 11483
Log message:

      Added the hack to make the execserver try to thread ALL the jobs rather than just those on localhost, so our scheduler actually gets the proper number of requests

Changes  Path
+2 -0 omake-research/omake-distrib/src/ir/omake_options.ml
+1 -0 omake-research/omake-distrib/src/ir/omake_options.mli
+2 -2 omake-research/omake-distrib/src/main/omake_main.ml
+9 -5 omake-research/omake-distrib/src/shell/omake_shell_servers.ml