Commit b643501dbab3ba6a3c8343349986bc541e9197b8

Carlos Martín Nieto 2016-02-19T10:21:37

Merge pull request #3614 from pks-t/pks/coverity-fixes Coverity fixes