diff options
author | 2016-08-22 11:06:12 +0200 | |
---|---|---|
committer | 2016-08-22 11:11:29 +0200 | |
commit | 5f450302301af5f19e4fee7cf37d2c724e098dea (patch) | |
tree | e3b805ad3bd242a038bd486167d868c671a8be1f /.gitignore | |
parent | 8c979f22b592f38569fccef115d1f8036909722f (diff) |
Catch exception if output.xml failed
It protects against a direct call to push_to_db without a previous run
even if it can not happen in the current implementation.
Change-Id: Ifa00aed60912fa8b96b80d581067548ac6727fb5
Signed-off-by: Cédric Ollivier <cedric.ollivier@orange.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions