# TCP port on which to listen
# REPLACE with real value such as 12501
tcp.port = 10000 + dslabXXX * 10 + 1

# the private key with which the root certificate is signed
root.key = keys/ca.pem
# the root certificate used in certificate paths
root.certificate = keys/ca.cert

# directory where to look for users' and server's public keys
keys.public.dir = keys