diff --git a/config/config.properties b/config/config.properties index 6f2ea46..2f8862c 100644 --- a/config/config.properties +++ b/config/config.properties @@ -1,4 +1,4 @@ -#Wed May 20 11:37:11 CEST 2015 +#Thu May 21 10:44:13 CEST 2015 autoSaveScanData=true createSessionFiles=false dataFile={data}/{year}_{month}/{date}/{date}_{time}_{context} @@ -19,7 +19,7 @@ serverEnabled=false serverPort=8080 simulation=false tasksFile={config}/tasks.properties -terminalEnabled=false +terminalEnabled=true terminalPort=3579 versionTrackingEnabled=true versionTrackingLogin=