Moved settings specific to MO-P to mop/mop.cf.

This file is not referenced anywhere yet.

diff --git a/eval/eval.cf b/eval/eval.cf
index 0c56c5b260f9381124c22c83dfce91dcf812a5df..bb3b70134c8ec5b8ffa62a1a1b603d356f59192f 100644 (file)
--- a/eval/eval.cf
+++ b/eval/eval.cf
@@ -16,23 +16,6 @@ EVAL_GROUP=mo-eval
 TEST_USERS="mo-test1 mo-test2"
 TEST_GROUP=mo-test
 
-# These values are used when creating logins for eval and contestants
-# (group id's are from the same range)
-EVAL_UID_MIN=65000
-CT_UID_MIN=65100
-CT_UID_MAX=65199
-
-# Sometimes we need to get a list of all contestants (not in the evaluator
-# itself, but in various auxiliary scripts). In such cases we call mo-get-users,
-# which either uses an explicit list of contestants CT_USER_LIST (username<tab>fullname),
-# or (if undefined) scans /etc/passwd for users with UID between CT_UID_MIN and CT_UID_MAX.
-CT_USER_LIST=userlist
-
-# (optional) Use remote submitting
-REMOTE_SUBMIT=1
-REMOTE_SUBMIT_USER=mo-submit
-REMOTE_SUBMIT_GROUP=mo-submit
-
 ### Programming language settings
 
 # Known source file extensions

diff --git a/mop/mop.cf b/mop/mop.cf
new file mode 100644 (file)
index 0000000..2f87ace
--- /dev/null
+++ b/mop/mop.cf
@@ -0,0 +1,19 @@
+# Configuration file for the MO-P environment
+# (c) 2001--2008 Martin Mares <mj@ucw.cz>
+
+# These values are used when creating logins for eval and contestants
+# (group id's are from the same range)
+EVAL_UID_MIN=65000
+CT_UID_MIN=65100
+CT_UID_MAX=65199
+
+# Sometimes we need to get a list of all contestants (not in the evaluator
+# itself, but in various auxiliary scripts). In such cases we call mo-get-users,
+# which either uses an explicit list of contestants CT_USER_LIST (username<tab>fullname),
+# or (if undefined) scans /etc/passwd for users with UID between CT_UID_MIN and CT_UID_MAX.
+CT_USER_LIST=userlist
+
+# (optional) Use remote submitting
+REMOTE_SUBMIT=1
+REMOTE_SUBMIT_USER=mo-submit
+REMOTE_SUBMIT_GROUP=mo-submit