generic config file

diff --git a/codemux.conf b/codemux.conf
index 00b35f6..143438b 100644 (file)
--- a/codemux.conf
+++ b/codemux.conf
@@ -1,16 +1,6 @@
 # regular option:
 # format is "domain_name" "slice_name" "port
+# coblitz.codeen.org princeton_coblitz 3125
 # do not remove the first line which is for the webserver
 
-* root 1080   # this is for the Apache webserver
-coblitz.codeen.org princeton_coblitz 3125
-cdn.rd.tp.pl princeton_coblitz 3125
-fc.codeen.org princeton_coblitztest 5125
-opendht.nyuld.net ucb_bamboo 5851  # this should come before *.nyuld.net
-nyud.net nyu_d 8080
-nyucd.net nyu_d 8080
-coralcdn.net nyu_d 8080
-coralcdn.nyuld.net nyu_d 8080
-nyuld.net nyu_oasis 8096
-cob-web.org cornell_cobweb 8888
-
+* root 1080 planetflow.planet-lab.org # this is for the Apache webserver