Merge "Fix print when push_results_to_db fails"
authorMorgan Richomme <morgan.richomme@orange.com>
Fri, 19 Aug 2016 15:41:35 +0000 (15:41 +0000)
committerGerrit Code Review <gerrit@172.30.200.206>
Fri, 19 Aug 2016 15:41:36 +0000 (15:41 +0000)

Trivial merge