(rmail-dont-reply-to): Avoid infinite loop if

rmail-dont-reply-to-names matches the empty string.

diff --git a/lisp/ChangeLog b/lisp/ChangeLog
index 5ca6697eeca05689b4b7dfc6bc8a5ecbad3616d9..08d9f19d588fb2534781e691636be5d105b79629 100644 (file)
--- a/lisp/ChangeLog
+++ b/lisp/ChangeLog
@@ -1,3 +1,8 @@
+2000-09-25  Markus Rost  <rost@math.ohio-state.edu>
+
+       * mail/mail-utils.el (rmail-dont-reply-to): Avoid infinite loop if
+       rmail-dont-reply-to-names matches the empty string.
+       
 2000-09-25  Gerd Moellmann  <gerd@gnu.org>
 
        * startup.el (command-line-1, fancy-splash-text): Change the 

diff --git a/lisp/mail/mail-utils.el b/lisp/mail/mail-utils.el
index a5d7a6b248c6206fbc87a795e1ce68d071c3edaa..67e658600d830836a51d0875d2df84b188b9fd6e 100644 (file)
--- a/lisp/mail/mail-utils.el
+++ b/lisp/mail/mail-utils.el
@@ -223,7 +223,8 @@ Usenet paths ending in an element that matches are removed also."
                       "\\)[^,]*"))
        (case-fold-search t)
        pos epos)
-    (while (setq pos (string-match match userids pos))
+    (while (and (setq pos (string-match match userids pos))
+               (> (length userids 0)))
       ;; If there's a match, it starts at the beginning of the string,
       ;; or with `,'.  We must delete from that position to the
       ;; end of the user-id which starts at match-beginning 2.