Close the file handle used in exec_file() (for #52)#53

Open

hotgloupi wants to merge 1 commit intoboostorg:developfrom hotgloupi:patch-1

+3

Commits on Jan 8, 2016

Close the file handle used in exec_file()
hotgloupi
committed