Changeset 242

Timestamp:

05/13/08 20:24:46 (17 years ago)

Author:

gkronber

Message:

added support for "service" applications that are restarted automatically when they crash with an exception. (related to #149)

Location:

trunk/sources

Files:

• HeuristicLab.PluginInfrastructure/ApplicationInfo.cs (modified) (2 diffs)
• HeuristicLab.PluginInfrastructure/BaseClasses/ApplicationBase.cs (modified) (3 diffs)
• HeuristicLab.PluginInfrastructure/ClassInfoAttribute.cs (modified) (1 diff)
• HeuristicLab.PluginInfrastructure/Interfaces/IApplication.cs (modified) (1 diff)
• HeuristicLab.PluginInfrastructure/Loader.cs (modified) (1 diff)
• HeuristicLab/MainForm.cs (modified) (1 diff)

trunk/sources/HeuristicLab.PluginInfrastructure/ApplicationInfo.cs

@@ -46 +46 @@
     }
 
+    private bool autoRestart;
+    public bool AutoRestart {
+      get { return autoRestart; }
+      set { autoRestart = value; }
+    }
+
     private string pluginAssembly;
     /// <summary>
     /// Name of the assembly that contains the IApplication type.
-    /// NEEDED?
     /// </summary>
     public string PluginAssembly {
@@ -59 +64 @@
     /// <summary>
     /// Name of the type that implements the interface IApplication.
-    /// NEEDED?
     /// </summary>
     public string PluginType {

trunk/sources/HeuristicLab.PluginInfrastructure/BaseClasses/ApplicationBase.cs

@@ -30 +30 @@
     private Version version;
     private string description;
-    
+    private bool autoRestart;
+
     public ApplicationBase() {
       ReadAttributes();
@@ -45 +46 @@
       // after the assertion we are sure that the array access will not fail
       ClassInfoAttribute pluginAttribute = (ClassInfoAttribute)pluginAttributes[0];
+      if(pluginAttribute != null) {
+        // if the plugin name is not explicitly set in the attribute then the default plugin name is the FullName of the type
+        if(pluginAttribute.Name != null) {
+          this.name = pluginAttribute.Name;
+        } else {
+          this.name = this.GetType().FullName;
+        }
 
-      // if the plugin name is not explicitly set in the attribute then the default plugin name is the FullName of the type
-      if(pluginAttribute != null && pluginAttribute.Name != null) {
-        this.name = pluginAttribute.Name;
-      } else {
-        this.name = this.GetType().FullName;
-      }
+        // if the version is not explicitly set in the attribute then the version of the assembly is used as default
+        if(pluginAttribute.Version != null) {
+          this.version = new Version(pluginAttribute.Version);
+        } else {
+          this.version = this.GetType().Assembly.GetName().Version;
+        }
 
-      // if the version is not explicitly set in the attribute then the version of the assembly is used as default
-      if(pluginAttribute != null && pluginAttribute.Version != null) {
-        this.version = new Version(pluginAttribute.Version);
-      } else {
-        this.version = this.GetType().Assembly.GetName().Version;
-      }
+        // if the description is not explicitly set in the attribute then the name of name of the application is used as default
+        if(pluginAttribute.Description != null) {
+          this.description = pluginAttribute.Description;
+        } else {
+          this.description = name;
+        }
 
-      // if the description is not explicitly set in the attribute then the name of name of the application is used as default
-      if(pluginAttribute != null && pluginAttribute.Description != null) {
-        this.description = pluginAttribute.Description;
-      } else {
-        this.description = name;
+        this.autoRestart = pluginAttribute.AutoRestart;
       }
     }
@@ -83 +87 @@
     }
 
-    public abstract void Run() ;
+    public bool AutoRestart {
+      get { return autoRestart; }
+    }
+
+    public abstract void Run();
 
     #endregion

trunk/sources/HeuristicLab.PluginInfrastructure/ClassInfoAttribute.cs

@@ -52 +52 @@
     }
 
+    private bool autoRestart;
+    public bool AutoRestart {
+      get { return autoRestart; }
+      set { autoRestart = value; }
+    }
+
     public ClassInfoAttribute() {}
   }

trunk/sources/HeuristicLab.PluginInfrastructure/Interfaces/IApplication.cs

@@ -29 +29 @@
     Version Version { get; }
     string Description { get;}
+    bool AutoRestart { get; }
     void Run();
   }

trunk/sources/HeuristicLab.PluginInfrastructure/Loader.cs

@@ -120 +120 @@
         info.Version = application.Version;
         info.Description = application.Description;
+        info.AutoRestart = application.AutoRestart;
         info.PluginAssembly = application.GetType().Assembly.GetName().Name;
         info.PluginType = application.GetType().Namespace + "." + application.GetType().Name;

trunk/sources/HeuristicLab/MainForm.cs

@@ -94 +94 @@
           PluginManager.Manager.Action += new PluginManagerActionEventHandler(splashScreen.Manager_Action);
           Thread t = new Thread(delegate() {
-            try {
-              PluginManager.Manager.Run(app);
-            } catch(Exception ex) {
-              ShowErrorMessageBox(ex);
-            }
+            bool stopped = false;
+            do {
+              try {
+                PluginManager.Manager.Run(app);
+                stopped = true;
+              } catch(Exception ex) {
+                stopped = false;
+                ThreadPool.QueueUserWorkItem(delegate(object exception) { ShowErrorMessageBox((Exception)exception); }, ex);
+                Thread.Sleep(5000); // sleep 5 seconds before autorestart
+              }
+            } while(!stopped && app.AutoRestart);
           });
           t.SetApartmentState(ApartmentState.STA); // needed for the AdvancedOptimizationFrontent