projects
/
supertux.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3285879
)
Fix for coverity #29370
author
Tobias Markus
<tobbi@mozilla-uk.org>
Sat, 14 Feb 2015 16:47:40 +0000
(17:47 +0100)
committer
Tobias Markus
<tobbi@mozilla-uk.org>
Sat, 14 Feb 2015 16:47:40 +0000
(17:47 +0100)
src/worldmap/worldmap.cpp
patch
|
blob
|
history
diff --git
a/src/worldmap/worldmap.cpp
b/src/worldmap/worldmap.cpp
index
e5fba03
..
4aa05c7
100644
(file)
--- a/
src/worldmap/worldmap.cpp
+++ b/
src/worldmap/worldmap.cpp
@@
-481,6
+481,10
@@
WorldMap::finished_level(Level* gamelevel)
// TODO use Level* parameter here?
LevelTile* level = at_level();
+ if(level == NULL) {
+ return;
+ }
+
bool old_level_state = level->solved;
level->solved = true;
level->sprite->set_action("solved");