From 5dc67f3707f597cda07c98376e380e660fbc9b82 Mon Sep 17 00:00:00 2001 From: Pauluhn Anuschka Date: Wed, 29 Jul 2015 14:46:02 +0200 Subject: [PATCH] Startup --- config/config.properties | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/config/config.properties b/config/config.properties index 6570f37..067706d 100644 --- a/config/config.properties +++ b/config/config.properties @@ -1,4 +1,4 @@ -#Fri May 22 14:23:10 CEST 2015 +#Wed Jul 29 14:45:52 CEST 2015 autoSaveScanData=true createSessionFiles=false dataFile={data}/{year}_{month}/{date}/{date}_{time}_{context} @@ -20,6 +20,8 @@ simulation=false tasksFile={config}/tasks.properties terminalEnabled=false terminalPort=3579 +userAuthenticator= +userManagement=false versionTrackingEnabled=true versionTrackingLogin={config}/agkey versionTrackingRemote=ssh\://git@github.psi.ch\:7999/psd/x10sa.git