8e1cda20c6
of PR#8369. Also, make sure that the file pointer ifp is always closed.
of PR#8369. Also, make sure that the file pointer ifp is always closed.