www/admin/jobagents/agents.js

Code
Comments
Other
Rev Date Author Line
7604 25 Feb 19 nicklas 1 /* $Id $
7604 25 Feb 19 nicklas 2   ------------------------------------------------------------------
7604 25 Feb 19 nicklas 3   Copyright (C) 2012 Nicklas Nordborg
7604 25 Feb 19 nicklas 4
7604 25 Feb 19 nicklas 5   This file is part of BASE - BioArray Software Environment.
7604 25 Feb 19 nicklas 6   Available at http://base.thep.lu.se/
7604 25 Feb 19 nicklas 7
7604 25 Feb 19 nicklas 8   BASE is free software; you can redistribute it and/or
7604 25 Feb 19 nicklas 9   modify it under the terms of the GNU General Public License
7604 25 Feb 19 nicklas 10   as published by the Free Software Foundation; either version 3
7604 25 Feb 19 nicklas 11   of the License, or (at your option) any later version.
7604 25 Feb 19 nicklas 12
7604 25 Feb 19 nicklas 13   BASE is distributed in the hope that it will be useful,
7604 25 Feb 19 nicklas 14   but WITHOUT ANY WARRANTY; without even the implied warranty of
7604 25 Feb 19 nicklas 15   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
7604 25 Feb 19 nicklas 16   GNU General Public License for more details.
7604 25 Feb 19 nicklas 17
7604 25 Feb 19 nicklas 18   You should have received a copy of the GNU General Public License
7604 25 Feb 19 nicklas 19   along with BASE. If not, see <http://www.gnu.org/licenses/>.
7604 25 Feb 19 nicklas 20   ------------------------------------------------------------------
7604 25 Feb 19 nicklas 21
7604 25 Feb 19 nicklas 22   @author Nicklas
7604 25 Feb 19 nicklas 23 */
7604 25 Feb 19 nicklas 24 'use strict';
7604 25 Feb 19 nicklas 25
7604 25 Feb 19 nicklas 26 var JobAgents = function()
7604 25 Feb 19 nicklas 27 {
7604 25 Feb 19 nicklas 28   var agents = {};
7604 25 Feb 19 nicklas 29   
7604 25 Feb 19 nicklas 30   /**
7604 25 Feb 19 nicklas 31     Initialize the page.
7604 25 Feb 19 nicklas 32   */
7604 25 Feb 19 nicklas 33   agents.initPage = function()
7604 25 Feb 19 nicklas 34   {
7604 25 Feb 19 nicklas 35     var pageId = Doc.getPageId();    
7604 25 Feb 19 nicklas 36     if (pageId == 'edit-page')
7604 25 Feb 19 nicklas 37     {
7604 25 Feb 19 nicklas 38       // Save + Close buttons
7604 25 Feb 19 nicklas 39       Buttons.addClickHandler('btnSave', agents.save);
7604 25 Feb 19 nicklas 40       Buttons.addClickHandler('close', App.closeWindow);
7604 25 Feb 19 nicklas 41
7604 25 Feb 19 nicklas 42       // Tab validation
7604 25 Feb 19 nicklas 43       TabControl.addTabValidator('settings.info', agents.validateJobAgent);
7604 25 Feb 19 nicklas 44       
7604 25 Feb 19 nicklas 45       // Port number
7604 25 Feb 19 nicklas 46       Events.addEventHandler('port', 'keypress', Events.integerOnly);
7604 25 Feb 19 nicklas 47       Buttons.addClickHandler('useDefaultPort', agents.setPortNumber);
7604 25 Feb 19 nicklas 48       
7604 25 Feb 19 nicklas 49       // Plugin settings
7604 25 Feb 19 nicklas 50       agents.pluginSettings = Data.json('page-data', 'plugin-settings');
7604 25 Feb 19 nicklas 51       
7604 25 Feb 19 nicklas 52       Events.addEventHandler('plugins', 'click', agents.pluginsOnClick);
7604 25 Feb 19 nicklas 53       Events.addEventHandler('plugins', 'base-selected', agents.pluginsOnClick);
7604 25 Feb 19 nicklas 54       Events.addEventHandler('btnRemovePlugins', 'click', agents.hidePluginSettings);
7604 25 Feb 19 nicklas 55
7604 25 Feb 19 nicklas 56       Events.addEventHandler('maxMemory', 'blur', agents.maxMemoryOnBlur);
7604 25 Feb 19 nicklas 57       Events.addEventHandler('useDefaultMaxMemory', 'click', agents.useDefaultMaxMemoryOnClick)
7604 25 Feb 19 nicklas 58       Events.addEventHandler('trustedDefault', 'click', agents.trustedOnClick);
7604 25 Feb 19 nicklas 59       Events.addEventHandler('trustedYes', 'click', agents.trustedOnClick);
7604 25 Feb 19 nicklas 60       Events.addEventHandler('trustedNo', 'click', agents.trustedOnClick);
7604 25 Feb 19 nicklas 61       Events.addEventHandler('priorityBoost', 'keypress', Events.integerOnly);
7604 25 Feb 19 nicklas 62       Events.addEventHandler('priorityBoost', 'blur', agents.priorityBoostOnBlur);
7604 25 Feb 19 nicklas 63       
7604 25 Feb 19 nicklas 64       var selectedPlugin = Data.get('page-data', 'select-plugin');
7604 25 Feb 19 nicklas 65       if (selectedPlugin) agents.selectPlugin(selectedPlugin);
7604 25 Feb 19 nicklas 66
7604 25 Feb 19 nicklas 67     }
7604 25 Feb 19 nicklas 68     else if (pageId == 'view-page')
7604 25 Feb 19 nicklas 69     {
7604 25 Feb 19 nicklas 70       var itemId = Data.get('page-data', 'item-id');
7604 25 Feb 19 nicklas 71       var attributes = {'item-type': 'JOBAGENT', 'item-id': itemId};
7604 25 Feb 19 nicklas 72       
7604 25 Feb 19 nicklas 73       Buttons.addClickHandler('btnEdit', Buttons.editItem, attributes);
7604 25 Feb 19 nicklas 74       Buttons.addClickHandler('btnDelete', Buttons.deleteItem, attributes);
7604 25 Feb 19 nicklas 75       Buttons.addClickHandler('btnRestore', Buttons.restoreItem, attributes);
7604 25 Feb 19 nicklas 76       Buttons.addClickHandler('btnUsingItems', Buttons.showUsingItems, attributes);
7604 25 Feb 19 nicklas 77       Buttons.addClickHandler('btnDeletePermanently', Buttons.deleteItemPermanently, attributes);
7604 25 Feb 19 nicklas 78       Buttons.addClickHandler('btnShare', Buttons.shareItem, attributes);
7604 25 Feb 19 nicklas 79       Buttons.addClickHandler('btnSetOwner', Buttons.setOwner, attributes);
7604 25 Feb 19 nicklas 80       Buttons.addClickHandler('btnExport', Buttons.runPlugin, attributes);
7604 25 Feb 19 nicklas 81       Buttons.addClickHandler('btnImport', Buttons.runPlugin, attributes);
7604 25 Feb 19 nicklas 82       Buttons.addClickHandler('btnRunPlugin', Buttons.runPlugin, attributes);
7604 25 Feb 19 nicklas 83       Buttons.addClickHandler('btnPause', agents.controlJobAgent, tableAttributes);
7604 25 Feb 19 nicklas 84       Buttons.addClickHandler('btnStart', agents.controlJobAgent, tableAttributes);
7604 25 Feb 19 nicklas 85       
7604 25 Feb 19 nicklas 86     }
7604 25 Feb 19 nicklas 87     else if (pageId == 'list-page')
7604 25 Feb 19 nicklas 88     {
7604 25 Feb 19 nicklas 89       var attributes = {'item-type': 'JOBAGENT'};
7604 25 Feb 19 nicklas 90       var tableAttributes = {'table-id': 'agents'};
7604 25 Feb 19 nicklas 91       Buttons.addClickHandler('btnNewItem', Buttons.newItem, attributes);
7604 25 Feb 19 nicklas 92       Buttons.addClickHandler('btnDeleteItems', Buttons.deleteItems, tableAttributes);
7604 25 Feb 19 nicklas 93       Buttons.addClickHandler('btnRestoreItems', Buttons.restoreItems, tableAttributes);
7604 25 Feb 19 nicklas 94       Buttons.addClickHandler('btnShareItems', Buttons.shareItems, tableAttributes);
7604 25 Feb 19 nicklas 95       Buttons.addClickHandler('btnSetOwner', Buttons.setOwnerOfItems, tableAttributes);
7604 25 Feb 19 nicklas 96       Buttons.addClickHandler('btnColumns', Buttons.configureColumns, tableAttributes);
7604 25 Feb 19 nicklas 97       Buttons.addClickHandler('btnExport', Buttons.runListPlugin, tableAttributes);
7604 25 Feb 19 nicklas 98       Buttons.addClickHandler('btnImport', Buttons.runListPlugin, tableAttributes);
7604 25 Feb 19 nicklas 99       Buttons.addClickHandler('btnRunPlugin', Buttons.runListPlugin, tableAttributes);
7604 25 Feb 19 nicklas 100       Buttons.addClickHandler('btnPause', agents.controlJobAgents, tableAttributes);
7604 25 Feb 19 nicklas 101       Buttons.addClickHandler('btnStart', agents.controlJobAgents, tableAttributes);
7604 25 Feb 19 nicklas 102       Buttons.addClickHandler('close', App.closeWindow);
7604 25 Feb 19 nicklas 103       Buttons.addClickHandler('btnOk', Buttons.returnSelected, tableAttributes);
7604 25 Feb 19 nicklas 104     }
7604 25 Feb 19 nicklas 105   }
7604 25 Feb 19 nicklas 106
7604 25 Feb 19 nicklas 107   // Add event handlers to the 'configure plugin settings' icons
7604 25 Feb 19 nicklas 108   agents.initElements = function(element, autoInit)
7604 25 Feb 19 nicklas 109   {
7604 25 Feb 19 nicklas 110     if (autoInit == 'configure-plugin')
7604 25 Feb 19 nicklas 111     {
7604 25 Feb 19 nicklas 112       Buttons.addClickHandler(element, agents.configurePlugin);
7604 25 Feb 19 nicklas 113     }
7604 25 Feb 19 nicklas 114   }
7604 25 Feb 19 nicklas 115
7604 25 Feb 19 nicklas 116   agents.controlJobAgent = function(event)
7604 25 Feb 19 nicklas 117   {
7604 25 Feb 19 nicklas 118     var cmd = Data.get(event.currentTarget, 'action');
7604 25 Feb 19 nicklas 119     var itemId = Data.get(event.currentTarget, 'item-id');
7604 25 Feb 19 nicklas 120     var url = 'index.jsp?ID='+App.getSessionId();
7604 25 Feb 19 nicklas 121     url += '&cmd='+cmd+'&item_id='+itemId;
7604 25 Feb 19 nicklas 122     location.replace(url);
7604 25 Feb 19 nicklas 123     Table.submitSelected('agents', cmd);
7604 25 Feb 19 nicklas 124   }
7604 25 Feb 19 nicklas 125
7604 25 Feb 19 nicklas 126   agents.controlJobAgents = function(event)
7604 25 Feb 19 nicklas 127   {
7604 25 Feb 19 nicklas 128     var cmd = Data.get(event.currentTarget, 'action');
7604 25 Feb 19 nicklas 129     Table.submitSelected('agents', cmd);
7604 25 Feb 19 nicklas 130   }
7604 25 Feb 19 nicklas 131   
7604 25 Feb 19 nicklas 132   agents.configurePlugin = function(event)
7604 25 Feb 19 nicklas 133   {
7604 25 Feb 19 nicklas 134     var itemId = Data.get('page-data', 'item-id');
7604 25 Feb 19 nicklas 135     var pluginId = Data.get(event.currentTarget, 'plugin-id');
7604 25 Feb 19 nicklas 136     Items.editItem('JOBAGENT', itemId, '&plugin_id='+pluginId);
7604 25 Feb 19 nicklas 137   }
7604 25 Feb 19 nicklas 138   
7604 25 Feb 19 nicklas 139   agents.validateJobAgent = function()
7604 25 Feb 19 nicklas 140   {
7604 25 Feb 19 nicklas 141     var frm = document.forms['agent'];
7604 25 Feb 19 nicklas 142     if (Strings.trim(frm.name.value) == '')
7604 25 Feb 19 nicklas 143     {
7604 25 Feb 19 nicklas 144       Forms.showNotification(frm.name, 'You must enter a name');
7604 25 Feb 19 nicklas 145       return false;
7604 25 Feb 19 nicklas 146     }
7604 25 Feb 19 nicklas 147     else if (Strings.trim(frm.external_id.value) == '')
7604 25 Feb 19 nicklas 148     {
7604 25 Feb 19 nicklas 149       Forms.showNotification(frm.external_id, 'You must enter an external ID');
7604 25 Feb 19 nicklas 150       return false;
7604 25 Feb 19 nicklas 151     }
7604 25 Feb 19 nicklas 152     else if (Strings.trim(frm.port.value) != '')
7604 25 Feb 19 nicklas 153     {
7604 25 Feb 19 nicklas 154       var port = parseInt(frm.port.value);
7604 25 Feb 19 nicklas 155       if (port < 1 || port > 65535)
7604 25 Feb 19 nicklas 156       {
7604 25 Feb 19 nicklas 157         Forms.showNotification(frm.port, 'The port value must be between 1 and 65535');
7604 25 Feb 19 nicklas 158         return false;
7604 25 Feb 19 nicklas 159       }
7604 25 Feb 19 nicklas 160     }
7604 25 Feb 19 nicklas 161     return true;
7604 25 Feb 19 nicklas 162   }
7604 25 Feb 19 nicklas 163
7604 25 Feb 19 nicklas 164   agents.save = function()
7604 25 Feb 19 nicklas 165   {
7604 25 Feb 19 nicklas 166     var frm = document.forms['agent'];
7604 25 Feb 19 nicklas 167     if (TabControl.validateActiveTab('settings'))
7604 25 Feb 19 nicklas 168     {
7604 25 Feb 19 nicklas 169       Link.exportActions('plugins');
7604 25 Feb 19 nicklas 170       var plugins = Link.getIdsInList(frm.plugins, 'PLUGINDEFINITION');
7604 25 Feb 19 nicklas 171       for (var i = 0; i < plugins.length; i++)
7604 25 Feb 19 nicklas 172       {
7604 25 Feb 19 nicklas 173         var pluginId = plugins[i];
7604 25 Feb 19 nicklas 174         var settings = agents.getPluginSettings(pluginId);
7604 25 Feb 19 nicklas 175         if (settings)
7604 25 Feb 19 nicklas 176         {
7604 25 Feb 19 nicklas 177           if (settings.maxMemory)
7604 25 Feb 19 nicklas 178           {
7604 25 Feb 19 nicklas 179             Forms.addHidden(frm, 'maxMemory.'+pluginId, settings.maxMemory);
7604 25 Feb 19 nicklas 180           }
7604 25 Feb 19 nicklas 181           Forms.addHidden(frm, 'trusted.'+pluginId, settings.trusted);          
7604 25 Feb 19 nicklas 182           Forms.addHidden(frm, 'priorityBoost.'+pluginId, settings.priorityBoost);
7604 25 Feb 19 nicklas 183         }
7604 25 Feb 19 nicklas 184       }
7604 25 Feb 19 nicklas 185       Forms.addHidden(frm, 'allPlugins', plugins.join(','));
7604 25 Feb 19 nicklas 186       frm.submit();
7604 25 Feb 19 nicklas 187     }
7604 25 Feb 19 nicklas 188   }
7604 25 Feb 19 nicklas 189
7604 25 Feb 19 nicklas 190   agents.setPortNumber = function(event)
7604 25 Feb 19 nicklas 191   {
7604 25 Feb 19 nicklas 192     var frm = document.forms['agent'];
7604 25 Feb 19 nicklas 193     frm.port.value = Data.get(event.currentTarget, 'port');
7604 25 Feb 19 nicklas 194   }
7604 25 Feb 19 nicklas 195
7604 25 Feb 19 nicklas 196   agents.getPluginSettings = function(pluginId)
7604 25 Feb 19 nicklas 197   {
7604 25 Feb 19 nicklas 198     for (var i = 0; i < agents.pluginSettings.length; i++)
7604 25 Feb 19 nicklas 199     {
7604 25 Feb 19 nicklas 200       if (agents.pluginSettings[i].pluginId == pluginId)
7604 25 Feb 19 nicklas 201       {
7604 25 Feb 19 nicklas 202         return agents.pluginSettings[i];
7604 25 Feb 19 nicklas 203       }
7604 25 Feb 19 nicklas 204     }
7604 25 Feb 19 nicklas 205     return null;
7604 25 Feb 19 nicklas 206   }
7604 25 Feb 19 nicklas 207   
7604 25 Feb 19 nicklas 208   agents.selectPlugin = function(pluginId)
7604 25 Feb 19 nicklas 209   {
7604 25 Feb 19 nicklas 210     var frm = document.forms['agent'];
7604 25 Feb 19 nicklas 211     for (var i = 0; i < frm.plugins.length; i++)
7604 25 Feb 19 nicklas 212     {
7604 25 Feb 19 nicklas 213       if (frm.plugins[i].item.id == pluginId)
7604 25 Feb 19 nicklas 214       {
7604 25 Feb 19 nicklas 215         frm.plugins.selectedIndex = i;
7604 25 Feb 19 nicklas 216         agents.pluginsOnClick();
7604 25 Feb 19 nicklas 217         return;
7604 25 Feb 19 nicklas 218       }
7604 25 Feb 19 nicklas 219     }
7604 25 Feb 19 nicklas 220   }
7604 25 Feb 19 nicklas 221
7604 25 Feb 19 nicklas 222   
7604 25 Feb 19 nicklas 223   /**
7604 25 Feb 19 nicklas 224     When selecting a plugin in the list, the
7604 25 Feb 19 nicklas 225     settings for it should be displayed.
7604 25 Feb 19 nicklas 226    */
7604 25 Feb 19 nicklas 227   agents.pluginsOnClick = function()
7604 25 Feb 19 nicklas 228   {
7604 25 Feb 19 nicklas 229     var frm = document.forms['agent'];
7604 25 Feb 19 nicklas 230     var settings;
7604 25 Feb 19 nicklas 231     if (frm.plugins.selectedIndex >= 0)
7604 25 Feb 19 nicklas 232     {
7604 25 Feb 19 nicklas 233       var item = frm.plugins[frm.plugins.selectedIndex].item;
7604 25 Feb 19 nicklas 234       var pluginId = item ? item.id : null;
7604 25 Feb 19 nicklas 235       settings = agents.getPluginSettings(pluginId);
7604 25 Feb 19 nicklas 236     }
7604 25 Feb 19 nicklas 237     
7604 25 Feb 19 nicklas 238     if (settings)
7604 25 Feb 19 nicklas 239     {
7604 25 Feb 19 nicklas 240       Doc.show('pluginsettings');
7604 25 Feb 19 nicklas 241       // Set max memory
7604 25 Feb 19 nicklas 242       frm.useDefaultMaxMemory.checked = !settings.maxMemory;
7604 25 Feb 19 nicklas 243       frm.maxMemory.value = settings.maxMemory || '';
7604 25 Feb 19 nicklas 244       frm.maxMemory.disabled = frm.useDefaultMaxMemory.checked;
7604 25 Feb 19 nicklas 245       
7604 25 Feb 19 nicklas 246       var defaultMaxMemory = Doc.element('defaultMaxMemory');
7604 25 Feb 19 nicklas 247       defaultMaxMemory.innerHTML = settings.defaultMaxMemory || '<i>not specified</i>';
7604 25 Feb 19 nicklas 248       
7604 25 Feb 19 nicklas 249       // Set trusted
7604 25 Feb 19 nicklas 250       Forms.checkRadio(frm.trusted, settings.trusted);
7604 25 Feb 19 nicklas 251       var defaultTrusted = Doc.element('defaultTrusted');
7604 25 Feb 19 nicklas 252       defaultTrusted.innerHTML = settings.defaultTrusted ? 'yes' : 'no';
7604 25 Feb 19 nicklas 253
7604 25 Feb 19 nicklas 254       // Set priority boost
7604 25 Feb 19 nicklas 255       frm.priorityBoost.value = settings.priorityBoost;
7604 25 Feb 19 nicklas 256     }
7604 25 Feb 19 nicklas 257     else
7604 25 Feb 19 nicklas 258     {
7604 25 Feb 19 nicklas 259       Doc.hide('pluginsettings');
7604 25 Feb 19 nicklas 260     }
7604 25 Feb 19 nicklas 261   }
7604 25 Feb 19 nicklas 262   
7604 25 Feb 19 nicklas 263   agents.hidePluginSettings = function()
7604 25 Feb 19 nicklas 264   {
7604 25 Feb 19 nicklas 265     Doc.hide('pluginsettings');
7604 25 Feb 19 nicklas 266   }
7604 25 Feb 19 nicklas 267   
7604 25 Feb 19 nicklas 268   agents.maxMemoryOnBlur = function()
7604 25 Feb 19 nicklas 269   {
7604 25 Feb 19 nicklas 270     var frm = document.forms['agent'];
7604 25 Feb 19 nicklas 271     var pluginId = frm.plugins[frm.plugins.selectedIndex].item.id;
7604 25 Feb 19 nicklas 272     var settings = agents.getPluginSettings(pluginId);
7604 25 Feb 19 nicklas 273     if (settings)
7604 25 Feb 19 nicklas 274     {
7604 25 Feb 19 nicklas 275       settings.maxMemory = frm.maxMemory.value;
7604 25 Feb 19 nicklas 276     }
7604 25 Feb 19 nicklas 277   }
7604 25 Feb 19 nicklas 278   
7604 25 Feb 19 nicklas 279   agents.useDefaultMaxMemoryOnClick = function()
7604 25 Feb 19 nicklas 280   {
7604 25 Feb 19 nicklas 281     var frm = document.forms['agent'];
7604 25 Feb 19 nicklas 282     var pluginId = frm.plugins[frm.plugins.selectedIndex].item.id;
7604 25 Feb 19 nicklas 283     var settings = agents.getPluginSettings(pluginId);
7604 25 Feb 19 nicklas 284     if (settings)
7604 25 Feb 19 nicklas 285     {
7604 25 Feb 19 nicklas 286       var useDefault = frm.useDefaultMaxMemory.checked;
7604 25 Feb 19 nicklas 287       
7604 25 Feb 19 nicklas 288       settings.maxMemory = useDefault ? null : frm.maxMemory.value;
7604 25 Feb 19 nicklas 289       frm.maxMemory.disabled = useDefault;
7604 25 Feb 19 nicklas 290       if (!frm.maxMemory.disabled) frm.maxMemory.focus();
7604 25 Feb 19 nicklas 291     }
7604 25 Feb 19 nicklas 292   }
7604 25 Feb 19 nicklas 293
7604 25 Feb 19 nicklas 294   
7604 25 Feb 19 nicklas 295   agents.trustedOnClick = function()
7604 25 Feb 19 nicklas 296   {
7604 25 Feb 19 nicklas 297     var frm = document.forms['agent'];
7604 25 Feb 19 nicklas 298     var pluginId = frm.plugins[frm.plugins.selectedIndex].item.id;
7604 25 Feb 19 nicklas 299     var settings = agents.getPluginSettings(pluginId);
7604 25 Feb 19 nicklas 300     
7604 25 Feb 19 nicklas 301     if (settings)
7604 25 Feb 19 nicklas 302     {
7604 25 Feb 19 nicklas 303       var selected = Forms.getCheckedRadio(frm.trusted);
7604 25 Feb 19 nicklas 304       if (selected != null)
7604 25 Feb 19 nicklas 305       {
7604 25 Feb 19 nicklas 306         settings.trusted = selected.value;
7604 25 Feb 19 nicklas 307       }
7604 25 Feb 19 nicklas 308     }
7604 25 Feb 19 nicklas 309   }
7604 25 Feb 19 nicklas 310
7604 25 Feb 19 nicklas 311   agents.priorityBoostOnBlur = function()
7604 25 Feb 19 nicklas 312   {
7604 25 Feb 19 nicklas 313     var frm = document.forms['agent'];
7604 25 Feb 19 nicklas 314     var pluginId = frm.plugins[frm.plugins.selectedIndex].item.id;
7604 25 Feb 19 nicklas 315     var settings = agents.getPluginSettings(pluginId);
7604 25 Feb 19 nicklas 316     
7604 25 Feb 19 nicklas 317     if (settings)
7604 25 Feb 19 nicklas 318     {
7604 25 Feb 19 nicklas 319       var priorityBoost = parseInt(frm.priorityBoost.value);
7604 25 Feb 19 nicklas 320       if (priorityBoost < 0 || priorityBoost > 10)
7604 25 Feb 19 nicklas 321       {
7604 25 Feb 19 nicklas 322         Forms.showNotification(frm.priorityBoost, 'The priority boost must be between 0 and 10');
7604 25 Feb 19 nicklas 323         return;
7604 25 Feb 19 nicklas 324       }
7604 25 Feb 19 nicklas 325       settings.priorityBoost = priorityBoost;
7604 25 Feb 19 nicklas 326     }
7604 25 Feb 19 nicklas 327   }
7604 25 Feb 19 nicklas 328   
7604 25 Feb 19 nicklas 329   return agents;
7604 25 Feb 19 nicklas 330 }();
7604 25 Feb 19 nicklas 331
7604 25 Feb 19 nicklas 332 Doc.addElementInitializer(JobAgents.initElements);
7604 25 Feb 19 nicklas 333 Doc.onLoad(JobAgents.initPage);

Generated on Sat Oct  7 02:42:59 2023 (UTC) by svndigest 0.11.2pre (dev build 1672)