rnd-20131113-1-src
[rocksndiamonds.git] / src / init.c
index f176e13e37537924810553446e64f5d0609bf9ac..4735f046993612345e497337e7cf6e87e00ab436 100644 (file)
@@ -6440,7 +6440,13 @@ void CloseAllAndExit(int exit_value)
   ClosePlatformDependentStuff();
 
   if (exit_value != 0)
+  {
+    /* fall back to default level set (current set may have caused an error) */
+    SaveLevelSetup_LastSeries_Deactivate();
+
+    /* tell user where to find error log file which may contain more details */
     NotifyUserAboutErrorFile();
+  }
 
   exit(exit_value);
 }