diff --git a/.gitignore b/.gitignore index 3a07d4d..f32b4dc 100644 --- a/.gitignore +++ b/.gitignore @@ -4,8 +4,8 @@ /log /extensions /www -script/cachedir script/Lib -script/*.class -script/*.pyc +script/**/cachedir +script/**/*.class +script/**/*.pyc plugins/*.class diff --git a/config/config.properties b/config/config.properties index a72ae33..82cb45d 100644 --- a/config/config.properties +++ b/config/config.properties @@ -1,4 +1,4 @@ -#Fri Jul 03 10:30:10 CEST 2015 +#Tue Jul 28 15:18:34 CEST 2015 autoSaveScanData=true createSessionFiles=false dataPath={data}/{year}_{month}/{date}/{date}_{time}_{context} @@ -18,6 +18,8 @@ simulation=false tasksFile={config}/tasks.properties terminalEnabled=true terminalPort=3579 +userAuthenticator= +userManagement=false versionTrackingEnabled=true versionTrackingLogin={config}/agkey versionTrackingRemote=ssh\://git@github.psi.ch\:7999/psd/x07ma.git