diff --git a/config/config.properties b/config/config.properties index 0c31a2a0..c3bcee50 100644 --- a/config/config.properties +++ b/config/config.properties @@ -1,4 +1,4 @@ -#Tue Dec 13 17:08:27 CET 2022 +#Tue Jan 31 11:51:46 CET 2023 autoSaveScanData=true simulation=false commandExecutionEvents=false @@ -53,4 +53,5 @@ scriptType=py noBytecodeFiles=false versionTrackingRemote=git@git.psi.ch\:pshell_config/x03da.git dataProvider=default +dataScanLazyTableCreation=false saveCommandStatistics=false