Please don't use string.atoi (was: Re: Color support in CVS)

[Bill Janssen]

Just a note to all parser hackers: string.atoi() has been deprecated,
and should be avoided.  Use int() instead -- it works on strings and
numbers.

Bill