Changeset 5444

Timestamp:

02/05/11 03:23:51 (14 years ago)

Author:

swagner

Message:

Prevented ObjectDisposedException which was thrown in Engine when accessing an already disposed timer (#1367)

File:

• trunk/sources/HeuristicLab.Core/3.3/Engine.cs (modified) (1 diff)

trunk/sources/HeuristicLab.Core/3.3/Engine.cs

@@ -154 +154 @@
       }
       finally {
+        timer.Elapsed -= new System.Timers.ElapsedEventHandler(timer_Elapsed);
         timer.Stop();
-        timer.Dispose();
         ExecutionTime += DateTime.Now - lastUpdateTime;
       }