Matthias Jurenz daa8119dd0 Corrected provious checkin (Coverity warning CID: 875) ...

This commit was SVN r19340.

2008-08-18 14:18:48 +00:00

..

vt

Corrected provious checkin (Coverity warning CID: 875)

2008-08-18 14:18:48 +00:00