# HG changeset patch # User Etienne Beauchamp # Date 1581360384 0 # Node ID e257643b1d0e2b0076d05675298c4848beb295cb # Parent e5c43496d9d8f248f96e1eb1e00b103bb284c97a forgot the conditional case diff -r e5c43496d9d8 -r e257643b1d0e scripts/safety-analysis.py --- a/scripts/safety-analysis.py Mon Feb 10 18:18:10 2020 +0000 +++ b/scripts/safety-analysis.py Mon Feb 10 18:46:24 2020 +0000 @@ -25,7 +25,10 @@ args = parser.parse_args() params = storage.ProcessParameters(args.configFilename) -params.databaseFilename = args.databaseFilename + +# selected database to overide the configuration file +if args.databaseFilename is not None: + params.databaseFilename = args.databaseFilename # parameters for prediction methods if args.predictionMethod is not None: