Changeset 4515 for trunk/sources/HeuristicLab.PluginInfrastructure/3.3/Starter/StarterForm.cs

Timestamp:

09/27/10 14:01:04 (14 years ago)

Author:

gkronber

Message:

Added work-around for race-condition in SplashScreen:

• deregister events correctly
• catch ObjectDisposedException in UpdateMessage in splash-screen

#795

File:

• trunk/sources/HeuristicLab.PluginInfrastructure/3.3/Starter/StarterForm.cs (modified) (1 diff)

trunk/sources/HeuristicLab.PluginInfrastructure/3.3/Starter/StarterForm.cs

@@ -176 +176 @@
 
     private void MainForm_FormClosing(object sender, FormClosingEventArgs e) {
+      splashScreen.Close();
       abortRequested = true;
     }