guido@mcvax.UUCP (Guido van Rossum) (03/05/84)
Eh, excuse me, but I don't think it is a bug in Awk that files are not closed after they have been written. It is a *feature*. Maybe the documentation doesn't state it well, but the idea is that something like awk '/pattern/ { print > "file" }' is equivalent to grep pattern >file and similar for the pipe (|) notation. So there is more to it than just efficiency. (Note that the 'w' command of Sed has the same semantics -- different from Ed but much more useful in a stream editing environment.) I think this is a nice feature, wouldn't want to miss it, and it shouldn't be disabled by the "fix" suggested by Ken Greer. (Actually, I think I've seen exactly the same problem reported before in this newsgroup.) Guido (not too awkward) van Rossum, CWI, Amsterdam guido @ mcvax