jvm/resources/config.conf
changeset 3 48479e4b89d4
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/jvm/resources/config.conf	Thu Nov 22 13:15:29 2018 +0100
@@ -0,0 +1,7 @@
+config {
+  http {
+    interface = localhost
+    port = 8080
+    prefix = cms
+  }
+}