Bug #1674503: close the file opened by execfile() in an error condition.
 (backport)
2 files changed