# 
# 
# patch "server_manager.cc"
#  from [476ddf46c53cc2b16fa0163592fd3571d2433c17]
#    to [eecfefc979ca4af13177625fae1ead4848d5a38c]
# 
============================================================
--- server_manager.cc	476ddf46c53cc2b16fa0163592fd3571d2433c17
+++ server_manager.cc	eecfefc979ca4af13177625fae1ead4848d5a38c
@@ -189,13 +189,13 @@
   if (!host.empty() && !by_host.empty())
     {
       i = by_host.lower_bound(prefix(host, false));
-      if (i != by_host.end())
+      if (i != by_host.end() && i->first == prefix(host, false))
         srv = i->second;
     }
   if (!srv && !pattern.empty() && !by_pattern.empty())
     {
       i = by_pattern.lower_bound(prefix(pattern, false));
-      if (i != by_pattern.end())
+      if (i != by_pattern.end() && i->first == prefix(pattern, false))
         srv = i->second;
     }
   if (srv)