Fix for coverity #29386
authorTobias Markus <tobbi.bugs@googlemail.com>
Sun, 15 Feb 2015 18:16:10 +0000 (19:16 +0100)
committerTobias Markus <tobbi.bugs@googlemail.com>
Sun, 15 Feb 2015 18:16:10 +0000 (19:16 +0100)
commit114f3c023be94b4bdaedfa16fd6c2b019fda13d9
tree4f752e3bda650582f012158ea706446b67a2f13d
parent02006fdd9da5000586077bf331620b92854c8125
Fix for coverity #29386
src/supertux/game_session.cpp