made port configurable, 8444 default

2015-10-03 09:37:12 +02:00
parent 1fc29e9916
commit f06f7f0243
3 changed files with 43 additions and 4 deletions
@@ -1,5 +1,8 @@
-# Created by https://www.gitignore.io
+# Project specific files
 *list.conf
+config.properties
+
+# Created by https://www.gitignore.io

 *.log