projects
/
rocksndiamonds.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
rnd-20131113-1-src
[rocksndiamonds.git]
/
src
/
init.c
diff --git
a/src/init.c
b/src/init.c
index f176e13e37537924810553446e64f5d0609bf9ac..4735f046993612345e497337e7cf6e87e00ab436 100644
(file)
--- a/
src/init.c
+++ b/
src/init.c
@@
-6440,7
+6440,13
@@
void CloseAllAndExit(int exit_value)
ClosePlatformDependentStuff();
if (exit_value != 0)
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();
NotifyUserAboutErrorFile();
+ }
exit(exit_value);
}
exit(exit_value);
}