cockpit-project/cockpit — pull request #515 by stefwalter (2014-05-05 09:35:30+00:00)
Title: Fix coverity

Minor issue found by coverity.