Re: sed bug on seekable stdin

[Paolo Bonzini]

> The solution is simple - before any use of exit(EXIT_SUCCESS) (or before
> returning from main), you must ensure that you call fclose(stdin).

Can you check out the attached patch on CVS or 4.1b sed?

Thanks,

Paolo

--- orig/sed/utils.c
+++ mod/sed/utils.c
@@ -328,6 +328,15 @@ ck_fclose(stream)
     {
       do_ck_fclose (stdout);
       do_ck_fclose (stderr);
+
+      /* When a standard utility reads a seekable input file and terminates
+        without an error before it reaches end-of-file, the utility shall 
ensure
+        that the file offset in the open file description is properly 
positioned
+        just past the last byte processed by the utility.  */
+
+      fflush(stdin);
+      fseek(stdin, 0, SEEK_CUR);
+      fclose(stdin);
     }
 }