#Jigsaw written
#Thu Nov 23 16:23:03 GMT+01:00 2000
org.w3c.jigsaw.http.socket.SocketClientFactory.maxClients=30
org.w3c.jigsaw.request.timeout=3000000
org.w3c.jigsaw.client.bufsize=8192
org.w3c.jigsaw.serializer=org.w3c.tools.resources.serialization.xml.XMLSerializer
org.w3c.jigsaw.port=8001
org.w3c.jigsaw.http.socket.SocketClientFactory.maxThreads=85
org.w3c.jigsaw.client.priority=5
org.w3c.jigsaw.trashdir=/auto/ender/u/ender/0/w3c/bmahe/Jigsaw/DAVDistrib/Jigsaw/Jigsaw/trash
org.w3c.jigsaw.root=/auto/ender/u/ender/0/w3c/bmahe/Jigsaw/DAVDistrib/Jigsaw/Jigsaw
org.w3c.jigsaw.root.name=root
org.w3c.jigsaw.server=Jigsaw/2.1.2
org.w3c.jigsaw.docurl=/Doc/Reference
org.w3c.jigsaw.root.class=org.w3c.jigsaw.resources.DirectoryResource
org.w3c.www.protocol.http.filters=
org.w3c.jigsaw.checkpointer=/Admin/Checkpointer
org.w3c.jigsaw.checkSensitivity=true
org.w3c.jigsaw.propfile=/u/ender/0/w3c/bmahe/Jigsaw/DAVDistrib/Jigsaw/Jigsaw/config/webdav-server.props
org.w3c.jigsaw.keepAlive=true
org.w3c.jigsaw.space=/auto/ender/u/ender/0/w3c/bmahe/Jigsaw/DAVDistrib/Jigsaw/Jigsaw/WWW
org.w3c.jigsaw.version.counter=4
org.w3c.jigsaw.http.socket.SocketClientFactory.maxFree=15
org.w3c.jigsaw.pagecompile.dir=/auto/ender/u/ender/0/w3c/bmahe/Jigsaw/DAVDistrib/Jigsaw/Jigsaw/compiledPage
org.w3c.jigsaw.config=/auto/ender/u/ender/0/w3c/bmahe/Jigsaw/DAVDistrib/Jigsaw/Jigsaw/config
org.w3c.jigsaw.servlet.servlet-log-file=/auto/ender/u/ender/0/w3c/bmahe/Jigsaw/DAVDistrib/Jigsaw/Jigsaw/logs/servlets
org.w3c.jigsaw.edit.root=root
org.w3c.jigsaw.logger=org.w3c.jigsaw.http.CommonLogger
