Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / config / http-server.props

diff --git a/JMCR-Stable/real-world application/jigsaw/config/http-server.props b/JMCR-Stable/real-world application/jigsaw/config/http-server.props
new file mode 100644 (file)
index 0000000..ac01536
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/config/http-server.props
@@ -0,0 +1,26 @@
+#Updated by Upgrader
+#Thu Sep 09 14:02:24 CEST 1999
+org.w3c.jigsaw.client.bufsize=8192
+org.w3c.jigsaw.root.class=org.w3c.jigsaw.resources.DirectoryResource
+org.w3c.jigsaw.trashdir=trash
+org.w3c.jigsaw.server=Jigsaw/2.2.6
+org.w3c.jigsaw.version.counter=4
+#org.w3c.jigsaw.root.name=root
+org.w3c.jigsaw.checkpointer=/Admin/Checkpointer
+org.w3c.jigsaw.logger=org.w3c.jigsaw.http.CommonLogger
+org.w3c.jigsaw.http.socket.SocketClientFactory.maxFree=15
+#org.w3c.jigsaw.edit.root=root
+org.w3c.jigsaw.propfile=config/http-server.props
+org.w3c.jigsaw.checkSensitivity=true
+org.w3c.jigsaw.config=config
+org.w3c.jigsaw.keepAlive=true
+org.w3c.jigsaw.docurl=/Doc/Reference
+org.w3c.jigsaw.http.socket.SocketClientFactory.maxThreads=3
+org.w3c.jigsaw.space=WWW
+org.w3c.jigsaw.client.priority=5
+org.w3c.jigsaw.port=8001
+#org.w3c.jigsaw.root=
+org.w3c.www.protocol.http.filters=
+org.w3c.jigsaw.request.timeout=3000000
+org.w3c.jigsaw.serializer=org.w3c.tools.resources.serialization.xml.XMLSerializer
+org.w3c.jigsaw.http.socket.SocketClientFactory.maxClients=3