David chiselled:
[after some elisions]
<hehe> I still have not checked whether an IP-number
like [061.000.000.001] is allowed/possible in a
Received:-header.
I'd probably write
* $ ^\/$REGEXP(.+$)*$REGEXP.+$
I am going to use that. I must have been changing two
things at the same time (the LINEBUF Don mentioned and
the regexp) to solve wat I saw as two different problems
but were actually one.
Thanks again, Ruud
_______________________________________________
procmail mailing list
procmail(_at_)lists(_dot_)RWTH-Aachen(_dot_)DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/procmail