Ignore:
Timestamp:
Aug 12, 2010, 12:16:43 AM (11 years ago)
Author:
kopal
Message:
  • added SleepTime Settings
  • structured the ExecutionEngine for better overview
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/CrypPlugins/WorkspaceManager/WorkspaceManager.cs

    r1760 r1805  
    386386                }
    387387
     388                try
     389                {
     390                    ExecutionEngine.SleepTime = int.Parse(((WorkspaceManagerSettings)this.Settings).SleepTime);
     391                    if (ExecutionEngine.SleepTime < 0)
     392                    {
     393                        GuiLogMessage("SleepTime can not be <=0; Use GuiUpdateInterval = 0", NotificationLevel.Warning);
     394                        ExecutionEngine.SleepTime = 0;
     395                    }
     396                }
     397                catch (Exception ex)
     398                {
     399                    GuiLogMessage("Could not set SleepTime: " + ex.Message, NotificationLevel.Warning);
     400                    ExecutionEngine.GuiUpdateInterval = 0;
     401                }
     402
    388403                ExecutionEngine.BenchmarkPlugins = ((WorkspaceManagerSettings)this.Settings).BenchmarkPlugins;
    389404
Note: See TracChangeset for help on using the changeset viewer.