1 # TCP port on which to listen
2 # REPLACE with real value such as 12501
3 tcp.port = 10000 + dslabXXX * 10 + 1
5 # the private key with which the root certificate is signed
7 # the root certificate used in certificate paths
8 root.certificate = keys/ca.cert
10 # directory where to look for users' and server's public keys
11 keys.public.dir = keys