--- a/share/hedgewars/Data/Missions/Scenario/User_Mission_-_Diver.lua Tue Dec 18 15:21:23 2018 +0100
+++ b/share/hedgewars/Data/Missions/Scenario/User_Mission_-_Diver.lua Tue Dec 18 18:16:31 2018 +0100
@@ -98,6 +98,7 @@
if (gear == enemy) and (GameOver == false) then
ShowMission(loc("Diver"), loc("MISSION SUCCESSFUL"), loc("Congratulations!"), 0, 0)
+ SaveMissionVar("Won", "true")
elseif gear == player then
ShowMission(loc("Diver"), loc("MISSION FAILED"), loc("Oh no! Just try again!"), -amSkip, 0)
GameOver = true