Simplify texreader.parse_ppm()
authorTim Allen <screwtape@froup.com>
Fri, 7 Sep 2012 11:21:45 +0000 (21:21 +1000)
committerTim Allen <screwtape@froup.com>
Sat, 15 Sep 2012 14:44:56 +0000 (00:44 +1000)
commit288bf81c56fb0324198dd3da3951dac2493173fb
tree8f0ead024c67453ec7a47fa2e054d5a59ae84c51
parentde7e43eddc97d8df8ff3223a5f8fee47d0d0d087
Simplify texreader.parse_ppm()

We don't *really* need a complicated state-based parser for PPM files
when we can just use str.split().

I guess this might be a problem if a PPM begins with a byte
that happens to be a whitespace character, but if that happens at least
the code will raise an exception.
reference/texreader.py