rnd-20060726-6-src

[rocksndiamonds.git] / src / init.c

diff --git a/src/init.c b/src/init.c
index c975ec616a5d194cf485ef238d3027fd15c7f362..79e183edea5ba353dd878b24524a4636b06421b3 100644 (file)
--- a/src/init.c
+++ b/src/init.c
@@ -4874,5 +4874,8 @@ void CloseAllAndExit(int exit_value)
   CloseVideoDisplay();
   ClosePlatformDependentStuff();
 
+  if (exit_value != 0)
+    NotifyUserAboutErrorFile();
+
   exit(exit_value);
 }