The GNU Awk User's Guide: Close Files And Pipes

5.8 Closing Input and Output Redirections. If the same file name or the same shell command is used with getline more than once during the execution of an awk ...

www.gnu.org