Peng 2c663643dd Scanner problems
1) restore the scanner's original cursor position in case of
   insufficient input;
2) free the memories allocated for a new header in case of a failure.
(cherry picked from commit 7a571f513e801f071873f2627400461b04213b13)
2013-09-02 14:50:05 -03:00
..
2013-09-02 14:50:05 -03:00