Changeset 1844

Timestamp:

05/18/09 18:03:53 (16 years ago)

Author:

epitzer

Message:

Don't crash application if exceptions occur during load/save (#603)

File:

• trunk/sources/HeuristicLab.AdvancedOptimizationFrontend/3.3/MainForm.cs (modified) (2 diffs)

trunk/sources/HeuristicLab.AdvancedOptimizationFrontend/3.3/MainForm.cs

@@ -155 +155 @@
       try {
         task.storable = PersistenceManager.Load(task.filename);
-      } catch(FileNotFoundException fileNotFoundEx) {
+      } catch (FileNotFoundException fileNotFoundEx) {
         MessageBox.Show("Sorry couldn't open file \"" + task.filename + "\".\nThe file or plugin \"" + fileNotFoundEx.FileName + "\" is not available.\nPlease make sure you have all necessary plugins installed.",
           "Reader Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
-      } catch(TypeLoadException typeLoadEx) {
-        MessageBox.Show("Sorry couldn't open file \"" + task.filename + "\".\nThe type \"" + typeLoadEx.TypeName+ "\" is not available.\nPlease make sure that you have the correct version the plugin installed.",
+      } catch (TypeLoadException typeLoadEx) {
+        MessageBox.Show("Sorry couldn't open file \"" + task.filename + "\".\nThe type \"" + typeLoadEx.TypeName + "\" is not available.\nPlease make sure that you have the correct version the plugin installed.",
+          "Reader Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
+      } catch (Exception e) {
+        MessageBox.Show(String.Format(
+          "Sorry couldn't open file \"{0}\".\n The following exception occurred: {1}",
+          task.filename, e.ToString()),
           "Reader Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
       }
@@ -205 +210 @@
         Save(form);
       }
+
     }
     private void AsynchronousSave(object state) {
       Task task = (Task)state;
-      PersistenceManager.Save(task.storable, task.filename);
+      try {
+        PersistenceManager.Save(task.storable, task.filename);
+      } catch (Exception e) {
+        MessageBox.Show(String.Format(
+          "Sorry couldn't open file \"{0}\".\n The following exception occurred: {1}",
+          task.filename, e.ToString()),
+          "Reader Error", MessageBoxButtons.OK, MessageBoxIcon.Error);
+      }
       SaveFinished(task);
     }