From 1619d877d381f60b3e9e8931b31abce40fea97b7 Mon Sep 17 00:00:00 2001 From: seefo Date: Mon, 19 Jun 2017 13:21:13 -0700 Subject: [PATCH] Made requested changes to domain server settings.js --- domain-server/resources/web/settings/js/settings.js | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/domain-server/resources/web/settings/js/settings.js b/domain-server/resources/web/settings/js/settings.js index 41eb4478c9..dd577701a5 100644 --- a/domain-server/resources/web/settings/js/settings.js +++ b/domain-server/resources/web/settings/js/settings.js @@ -1329,8 +1329,8 @@ function makeTableCategoryInput(setting, numVisibleColumns) { } function getDescriptionForKey(key) { - for(var i in Settings.data.descriptions) { - if(Settings.data.descriptions[i].name === key) { + for (var i in Settings.data.descriptions) { + if (Settings.data.descriptions[i].name === key) { return Settings.data.descriptions[i]; } } @@ -1372,12 +1372,12 @@ function badgeSidebarForDifferences(changedElement) { badgeValue += 1; // add a reason to restart - if(description && description.restart != false) { + if (description && description.restart != false) { reasonsForRestart.push(setting); } } else { // remove a reason to restart - if(description && description.restart != false) { + if (description && description.restart != false) { reasonsForRestart = $.grep(reasonsForRestart, function(v) { return v != setting; }); } }