plu/israkel — pull request #2 by stefanmunz (2013-02-12 10:30:53+00:00)
Title: fix return type after aborts

followup for last pull request: return type has be set after eventual abort.