On Tue, Nov 11, 2008 at 2:03 PM, Alan STONE <span dir="ltr">&lt;<a href="mailto:software.list.1es9s@gmail.com">software.list.1es9s@gmail.com</a>&gt;</span> wrote:&nbsp;
<div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="gmail_quote"><div>Do you know some tool (Windows/Linux) which enables to filter these from the</div>

<div>log file into a text file, or delete the unwanted ones from the log file&nbsp;?</div></div></blockquote><div><br>Under Linux, grep should be able to do that. Under Windows ?<br><br>Best,<br>Alan<br></div></div><br>