base/resources/config.conf
changeset 4 1a1347e8c5be
parent 3 48479e4b89d4
child 14 7c4b05467630
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/base/resources/config.conf	Thu Nov 29 12:20:20 2018 +0100
@@ -0,0 +1,7 @@
+config {
+  http {
+    interface = localhost
+    port = 8080
+    prefix = cms
+  }
+}