Update name.
[codemux.git] / codemux.conf
1 # regular option:
2 # format is "domain_name" "slice_name" "port
3
4 * root 1080   # this is for the Apache webserver
5 coblitz.codeen.org princeton_coblitz 3125
6 cdn.rd.tp.pl princeton_coblitz 3125
7 nyud.net nyu_d 8080
8 nyucd.net nyu_d 8080
9 nyuld.net nyu_oasis 8096
10 cob-web.org cornell_cobweb 8888