[Jython-dev] possible bug in Options

[brian z. <bz...@zi...>]

Hello,

I was looking around at the Options code and saw this line:

  Options.caseok = getBooleanOption("options.caseok",
Options.pollStandardIn);

It looks like a copy & paste bug to me but I thought I'd ask first
(notice the default value).

thanks,

brian