Miscellany

ndex: src/or/dns.c
===================================================================
--- src/or/dns.c        (revision 13680)
+++ src/or/dns.c        (working copy)
@@ -154,7 +154,7 @@
   } else if (!strcmpstart(msg, "Search: ")) {
     return;
   }
-  if (!strcmpstart(msg, "Nameserver ") && (cp=strstr(msg, " has failed: "))) {
+  if (!strcmpstart(msg, "Nameserver ") && (cp=strstr(msg, " has failed"))) {
     char *ns = tor_strndup(msg+11, cp-(msg+11));
     const char *err = strchr(cp, ':'+2);
     tor_assert(err);