# Below different options for the DIMDNS server are given # just uncomment the one, currently active # For your convenience the names of the machines are state # above their ips # name: newdaq dns=10.0.100.10 # name: daq #dns=10.0.100.12 # name: data #dns=10.0.100.11 # name: newdata #dns=10.0.100.74