diff options
| -rw-r--r-- | environment/LocalConfig.pm | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/environment/LocalConfig.pm b/environment/LocalConfig.pm index f7c3b1c7..4fa0ab74 100644 --- a/environment/LocalConfig.pm +++ b/environment/LocalConfig.pm @@ -63,11 +63,11 @@ my $CCONFIG = { 'JobControl' => 'fork', 'DefaultJobs' => 8, }, - 'OxfordDeathSnakes' => { - 'HOST_REGEXP' => qr/^(taipan|tiger).cs.ox.ac.uk$/, - 'JobControl' => 'fork', - 'DefaultJobs' => 12, - }, +# 'OxfordDeathSnakes' => { +# 'HOST_REGEXP' => qr/^(taipan|tiger).cs.ox.ac.uk$/, +# 'JobControl' => 'fork', +# 'DefaultJobs' => 12, +# }, 'cluster.cl.uni-heidelberg.de' => { 'HOST_REGEXP' => qr/node25/, 'JobControl' => 'qsub', |