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