Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / lib / config / server.props

diff --git a/JMCR-Stable/mcr-test/lib/config/server.props b/JMCR-Stable/mcr-test/lib/config/server.props
new file mode 100644 (file)
index 0000000..58cbaa9
--- /dev/null
+++ b/JMCR-Stable/mcr-test/lib/config/server.props
@@ -0,0 +1,5 @@
+org.w3c.jigsaw.daemon.handlers=http-server
+http-server.org.w3c.jigsaw.daemon.class=org.w3c.jigsaw.http.httpd
+#admin-server.org.w3c.jigsaw.daemon.class=org.w3c.jigsaw.admin.AdminServer
+#|admin-server
+