Replace message

[Peter Donald <do...@apache.org>]

Hi,

does anyone mind if I make the message 


log("Replacing in " + src.getPath() + ": " + token.getText() + " --> " +
value.getText(), Project.MSG_VERBOSE);

in the Replace task only be printed if an actual token is replaced ? The
reason was that I got some reports that it is printed regardless of whether
anything occurs and thus messes up the NoBannerLogger.


Cheers,

Pete

*-----------------------------------------------------*
| "Faced with the choice between changing one's mind, |
| and proving that there is no need to do so - almost |
| everyone gets busy on the proof."                   |
|              - John Kenneth Galbraith               |
*-----------------------------------------------------*

Re: Replace message

[Diane Holt <ho...@yahoo.com>]

Pete,

I don't see this having been put through yet -- is it slated for 1.3? I'll
+1 it, if you need someone to do that :)

Diane

--- Peter Donald <do...@apache.org> wrote:
> Hi,
> 
> does anyone mind if I make the message 
> 
> 
> log("Replacing in " + src.getPath() + ": " + token.getText() + " --> " +
> value.getText(), Project.MSG_VERBOSE);
> 
> in the Replace task only be printed if an actual token is replaced ? The
> reason was that I got some reports that it is printed regardless of
> whether
> anything occurs and thus messes up the NoBannerLogger.
> 
> 
> Cheers,
> 
> Pete
> 
> *-----------------------------------------------------*
> | "Faced with the choice between changing one's mind, |
> | and proving that there is no need to do so - almost |
> | everyone gets busy on the proof."                   |
> |              - John Kenneth Galbraith               |
> *-----------------------------------------------------*
> 
> 
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: ant-dev-unsubscribe@jakarta.apache.org
> For additional commands, e-mail: ant-dev-help@jakarta.apache.org


=====
(holtdl@yahoo.com)



__________________________________________________
Do You Yahoo!?
Get personalized email addresses from Yahoo! Mail - only $35 
a year!  http://personal.mail.yahoo.com/