Show wooki.properties syntax highlighted
# ---------------------------------------------------------------------------
# Wooki
# wooki.properties : wooki properties file
#
# Author : ECOO Team, LORIA (France)
#
# ---------------------------------------------------------------------------
# choose an existing and writable working directory for wooki files
wooki.working.dir=/tmp/wooki
# the site id
# must be unique on the the wooki network
wooki.site.id=0
# the server url
wooki.server.url=http://localhost:8080/wooki
# the server name (not required)
wooki.server.name=Chewbacca
# server config #
# delay between log refresh (in seconds)
wooki.refresh.log.delay=60
# max size of neigbors list
wooki.neighbors.list.size=20
# number of
wooki.pbcast.round=5
See more files for this project here