From 96a46bc17187f52f4fd9ad6ad4710310f1942041 Mon Sep 17 00:00:00 2001
From: Oliver Hamlet <oliver.hamlet@gmail.com>
Date: Tue, 4 Sep 2018 20:39:20 +0100
Subject: [PATCH] Remove unnecessary case insensitivity while sorting

---
 src/api/sorting/plugin_sorter.cpp | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/api/sorting/plugin_sorter.cpp b/src/api/sorting/plugin_sorter.cpp
index 6c5587d2..6f4e03c3 100644
--- a/src/api/sorting/plugin_sorter.cpp
+++ b/src/api/sorting/plugin_sorter.cpp
@@ -457,7 +457,7 @@ bool shouldIgnorePlugin(
         groupPluginsToIgnore) {
   auto pluginsToIgnore = groupPluginsToIgnore.find(group);
   if (pluginsToIgnore != groupPluginsToIgnore.end()) {
-    return pluginsToIgnore->second.count(boost::to_lower_copy(pluginName)) > 0;
+    return pluginsToIgnore->second.count(pluginName) > 0;
   }
 
   return false;
@@ -478,15 +478,13 @@ void ignorePlugin(const std::string& pluginName,
                   const std::unordered_set<std::string>& groups,
                   std::map<std::string, std::unordered_set<std::string>>&
                       groupPluginsToIgnore) {
-  auto lowercasePluginName = boost::to_lower_copy(pluginName);
-
   for (const auto& group : groups) {
     auto pluginsToIgnore = groupPluginsToIgnore.find(group);
     if (pluginsToIgnore != groupPluginsToIgnore.end()) {
-      pluginsToIgnore->second.insert(lowercasePluginName);
+      pluginsToIgnore->second.insert(pluginName);
     } else {
       groupPluginsToIgnore.emplace(
-          group, std::unordered_set<std::string>({lowercasePluginName}));
+          group, std::unordered_set<std::string>({ pluginName }));
     }
   }
 }