String.indexOf(String, int) bug

[Alexandre Oliva]

On May 26, 1999, Colin Stevens <cstevens@eng.sun.com> wrote:

> String.indexOf(String str, int offset) crashes if str is a 0-length string,

Thanks, fixed.

-- 
Alexandre Oliva http://www.dcc.unicamp.br/~oliva IC-Unicamp, Bra[sz]il
{oliva,Alexandre.Oliva}@dcc.unicamp.br  aoliva@{acm.org,computer.org}
oliva@{gnu.org,kaffe.org,{egcs,sourceware}.cygnus.com,samba.org}
*** E-mail about software projects will be forwarded to mailing lists