Fixed game crashing when leaving the worldmap
[supertux.git] / src / scripting / platform.hpp