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