Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
03/22/11 15:54:58 (14 years ago)
Author:
cneumuel
Message:

#1233

  • implemented correct downloading of paused jobs. its now also possible to change parameters and resume a algorithm
  • removed Prepare() calls in ExperimentManager and in slave, as it prevents corrent resuming of paused jobs
  • made events in ItemTreeView be invoked in the correct thread
  • reduced log output in ExperimentManager
File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/HiveJobView.designer.cs

    r5779 r5793  
    3232      this.runCollectionViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
    3333      this.detailsTabPage = new System.Windows.Forms.TabPage();
     34      this.restartButton = new System.Windows.Forms.Button();
     35      this.pauseButton = new System.Windows.Forms.Button();
     36      this.stopButton = new System.Windows.Forms.Button();
    3437      this.optimizerGroupBox = new System.Windows.Forms.GroupBox();
     38      this.showOptimizerButton = new System.Windows.Forms.Button();
     39      this.lastUpdatedTextBox = new System.Windows.Forms.TextBox();
     40      this.lastUpdatedLabel = new System.Windows.Forms.Label();
    3541      this.optimizerNamedItemView = new HeuristicLab.Core.Views.NamedItemView();
    3642      this.configurationGroupBox = new System.Windows.Forms.GroupBox();
    … …  
    5965      this.exceptionTextBox = new System.Windows.Forms.TextBox();
    6066      this.tabControl = new System.Windows.Forms.TabControl();
    61       this.restartButton = new System.Windows.Forms.Button();
    62       this.pauseButton = new System.Windows.Forms.Button();
    63       this.stopButton = new System.Windows.Forms.Button();
    6467      this.logTabPage.SuspendLayout();
    6568      this.stateLogTabPage.SuspendLayout();
    … …  
    7881      this.logTabPage.Name = "logTabPage";
    7982      this.logTabPage.Padding = new System.Windows.Forms.Padding(3);
    80       this.logTabPage.Size = new System.Drawing.Size(406, 492);
     83      this.logTabPage.Size = new System.Drawing.Size(611, 492);
    8184      this.logTabPage.TabIndex = 1;
    8285      this.logTabPage.Text = "Log";
    … …  
    125128      this.runsTabPage.Location = new System.Drawing.Point(4, 22);
    126129      this.runsTabPage.Name = "runsTabPage";
    127       this.runsTabPage.Size = new System.Drawing.Size(406, 492);
     130      this.runsTabPage.Size = new System.Drawing.Size(611, 492);
    128131      this.runsTabPage.TabIndex = 4;
    129132      this.runsTabPage.Text = "Runs";
    … …  
    164167      this.detailsTabPage.UseVisualStyleBackColor = true;
    165168      //
     169      // restartButton
     170      //
     171      this.restartButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     172      this.restartButton.Image = ((System.Drawing.Image)(resources.GetObject("restartButton.Image")));
     173      this.restartButton.Location = new System.Drawing.Point(3, 465);
     174      this.restartButton.Name = "restartButton";
     175      this.restartButton.Size = new System.Drawing.Size(24, 24);
     176      this.restartButton.TabIndex = 30;
     177      this.restartButton.UseVisualStyleBackColor = true;
     178      this.restartButton.Click += new System.EventHandler(this.restartButton_Click);
     179      //
     180      // pauseButton
     181      //
     182      this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     183      this.pauseButton.Enabled = false;
     184      this.pauseButton.Image = ((System.Drawing.Image)(resources.GetObject("pauseButton.Image")));
     185      this.pauseButton.Location = new System.Drawing.Point(33, 465);
     186      this.pauseButton.Name = "pauseButton";
     187      this.pauseButton.Size = new System.Drawing.Size(24, 24);
     188      this.pauseButton.TabIndex = 31;
     189      this.pauseButton.UseVisualStyleBackColor = true;
     190      this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click);
     191      //
     192      // stopButton
     193      //
     194      this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     195      this.stopButton.Image = ((System.Drawing.Image)(resources.GetObject("stopButton.Image")));
     196      this.stopButton.Location = new System.Drawing.Point(63, 465);
     197      this.stopButton.Name = "stopButton";
     198      this.stopButton.Size = new System.Drawing.Size(24, 24);
     199      this.stopButton.TabIndex = 32;
     200      this.stopButton.UseVisualStyleBackColor = true;
     201      this.stopButton.Click += new System.EventHandler(this.stopButton_Click);
     202      //
    166203      // optimizerGroupBox
    167204      //
    168205      this.optimizerGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    169206                  | System.Windows.Forms.AnchorStyles.Right)));
     207      this.optimizerGroupBox.Controls.Add(this.showOptimizerButton);
     208      this.optimizerGroupBox.Controls.Add(this.lastUpdatedTextBox);
     209      this.optimizerGroupBox.Controls.Add(this.lastUpdatedLabel);
    170210      this.optimizerGroupBox.Controls.Add(this.optimizerNamedItemView);
    171211      this.optimizerGroupBox.Location = new System.Drawing.Point(6, 29);
    172212      this.optimizerGroupBox.Name = "optimizerGroupBox";
    173       this.optimizerGroupBox.Size = new System.Drawing.Size(599, 74);
     213      this.optimizerGroupBox.Size = new System.Drawing.Size(599, 129);
    174214      this.optimizerGroupBox.TabIndex = 28;
    175215      this.optimizerGroupBox.TabStop = false;
    176216      this.optimizerGroupBox.Text = "Optimizer";
     217      //
     218      // showOptimizerButton
     219      //
     220      this.showOptimizerButton.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     221                  | System.Windows.Forms.AnchorStyles.Right)));
     222      this.showOptimizerButton.Location = new System.Drawing.Point(12, 99);
     223      this.showOptimizerButton.Name = "showOptimizerButton";
     224      this.showOptimizerButton.Size = new System.Drawing.Size(581, 23);
     225      this.showOptimizerButton.TabIndex = 3;
     226      this.showOptimizerButton.Text = "Show Optimizer";
     227      this.showOptimizerButton.UseVisualStyleBackColor = true;
     228      this.showOptimizerButton.Click += new System.EventHandler(this.showOptimizerButton_Click);
     229      //
     230      // lastUpdatedTextBox
     231      //
     232      this.lastUpdatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     233                  | System.Windows.Forms.AnchorStyles.Right)));
     234      this.lastUpdatedTextBox.Location = new System.Drawing.Point(78, 73);
     235      this.lastUpdatedTextBox.Name = "lastUpdatedTextBox";
     236      this.lastUpdatedTextBox.Size = new System.Drawing.Size(515, 20);
     237      this.lastUpdatedTextBox.TabIndex = 2;
     238      //
     239      // lastUpdatedLabel
     240      //
     241      this.lastUpdatedLabel.AutoSize = true;
     242      this.lastUpdatedLabel.Location = new System.Drawing.Point(9, 76);
     243      this.lastUpdatedLabel.Name = "lastUpdatedLabel";
     244      this.lastUpdatedLabel.Size = new System.Drawing.Size(71, 13);
     245      this.lastUpdatedLabel.TabIndex = 1;
     246      this.lastUpdatedLabel.Text = "LastUpdated:";
    177247      //
    178248      // optimizerNamedItemView
    … …  
    200270      this.configurationGroupBox.Controls.Add(this.computeInParallelLabel);
    201271      this.configurationGroupBox.Controls.Add(this.computeInParallelCheckBox);
    202       this.configurationGroupBox.Location = new System.Drawing.Point(6, 106);
     272      this.configurationGroupBox.Location = new System.Drawing.Point(6, 164);
    203273      this.configurationGroupBox.Name = "configurationGroupBox";
    204274      this.configurationGroupBox.Size = new System.Drawing.Size(599, 119);
    … …  
    314384      this.jobStatusGroupBox.Controls.Add(this.dateFinishedLabel);
    315385      this.jobStatusGroupBox.Controls.Add(this.exceptionTextBox);
    316       this.jobStatusGroupBox.Location = new System.Drawing.Point(6, 226);
     386      this.jobStatusGroupBox.Location = new System.Drawing.Point(6, 289);
    317387      this.jobStatusGroupBox.Name = "jobStatusGroupBox";
    318388      this.jobStatusGroupBox.Size = new System.Drawing.Size(599, 162);
    … …  
    444514      this.tabControl.Size = new System.Drawing.Size(619, 518);
    445515      this.tabControl.TabIndex = 25;
    446       //
    447       // restartButton
    448       //
    449       this.restartButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
    450       this.restartButton.Image = ((System.Drawing.Image)(resources.GetObject("restartButton.Image")));
    451       this.restartButton.Location = new System.Drawing.Point(3, 465);
    452       this.restartButton.Name = "restartButton";
    453       this.restartButton.Size = new System.Drawing.Size(24, 24);
    454       this.restartButton.TabIndex = 30;
    455       this.restartButton.UseVisualStyleBackColor = true;
    456       this.restartButton.Click += new System.EventHandler(this.restartButton_Click);
    457       //
    458       // pauseButton
    459       //
    460       this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
    461       this.pauseButton.Enabled = false;
    462       this.pauseButton.Image = ((System.Drawing.Image)(resources.GetObject("pauseButton.Image")));
    463       this.pauseButton.Location = new System.Drawing.Point(33, 465);
    464       this.pauseButton.Name = "pauseButton";
    465       this.pauseButton.Size = new System.Drawing.Size(24, 24);
    466       this.pauseButton.TabIndex = 31;
    467       this.pauseButton.UseVisualStyleBackColor = true;
    468       this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click);
    469       //
    470       // stopButton
    471       //
    472       this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
    473       this.stopButton.Image = ((System.Drawing.Image)(resources.GetObject("stopButton.Image")));
    474       this.stopButton.Location = new System.Drawing.Point(63, 465);
    475       this.stopButton.Name = "stopButton";
    476       this.stopButton.Size = new System.Drawing.Size(24, 24);
    477       this.stopButton.TabIndex = 32;
    478       this.stopButton.UseVisualStyleBackColor = true;
    479       this.stopButton.Click += new System.EventHandler(this.stopButton_Click);
    480516      //
    481517      // HiveJobView
    … …  
    492528      this.detailsTabPage.PerformLayout();
    493529      this.optimizerGroupBox.ResumeLayout(false);
     530      this.optimizerGroupBox.PerformLayout();
    494531      this.configurationGroupBox.ResumeLayout(false);
    495532      this.configurationGroupBox.PerformLayout();
    … …  
    525562    private System.Windows.Forms.GroupBox jobStatusGroupBox;
    526563    private System.Windows.Forms.TextBox stateTextBox;
    527     private System.Windows.Forms.Label dateCalculatedLabel;
    528564    private System.Windows.Forms.Label stateLabel;
    529     private System.Windows.Forms.TextBox dateCalculatedText;
    530565    private System.Windows.Forms.TextBox dateFinishedTextBox;
    531566    private System.Windows.Forms.TextBox executionTimeTextBox;
    532     private System.Windows.Forms.TextBox dateCreatedTextBox;
    533567    private System.Windows.Forms.Label executionTimeLabel;
    534568    private System.Windows.Forms.Label exceptionLabel;
    535     private System.Windows.Forms.Label dateCreatedLabel;
    536569    private System.Windows.Forms.Label dateFinishedLabel;
    537570    private System.Windows.Forms.TextBox exceptionTextBox;
    … …  
    540573    private System.Windows.Forms.Button pauseButton;
    541574    private System.Windows.Forms.Button stopButton;
     575    private System.Windows.Forms.Button showOptimizerButton;
     576    private System.Windows.Forms.TextBox lastUpdatedTextBox;
     577    private System.Windows.Forms.Label lastUpdatedLabel;
     578    private System.Windows.Forms.Label dateCalculatedLabel;
     579    private System.Windows.Forms.TextBox dateCalculatedText;
     580    private System.Windows.Forms.TextBox dateCreatedTextBox;
     581    private System.Windows.Forms.Label dateCreatedLabel;
    542582
    543583  }
Note: See TracChangeset for help on using the changeset viewer.