on 8/24/01 12:08 PM, "Craig R. McClanahan" <[EMAIL PROTECTED]> wrote:

> Sounds good.
> 
> I generalized it slightly so that you can set different debug options with
> JPDA_OPTS but it defaults to the value included in this patch.
> 
> Craig

Thanks Craig. I knew you probably had a better patch...

-jon

Reply via email to