int close_file( header *hdr, FILE *datafile )
Because the file may be a pipe, either pclose() fclose() should be called to close the file, hence this special function for closing the file. This information is derived from the header.
See open_read().
1.0 29/10-96 Ulrik Kjems Initial version. 1.1 23/10-97 Ulrik Kjems Handle compressed files and XPRIME files.