Trying gifinto to copy a GIF file, like this:
gifinto test.gif < foo.gif
reveals that the created file test.gif is 1 byte larger than the original. My analysis is that the read/write loop tests for EOF too late. I propose the patch in the attachment, which fixes the problem for me.
Log in to post a comment.