[Patch] Final (hopefully) strtok patch

[Paolo Carlini]

Hi!

Ok, this is the result of Nathan's latest indications about
strchr (vs strlen) and so on. Seems indeed much cleaner
to me.

If nobody complaints, tomorrow I would like to apply it and
move to something else ;)

Tested x86-linux.

Ciao, Paolo.

///////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: CL_mt2
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20021127/d4fbdddb/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_mt2
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20021127/d4fbdddb/attachment-0001.ksh>