mirror of
https://github.com/LuaJIT/LuaJIT.git
synced 2025-02-07 23:24:09 +00:00
Flush and close output file after profiling run.
Thanks to Sergey Ostanevich.
This commit is contained in:
parent
16d38a4b21
commit
95140c5001
@ -238,6 +238,7 @@ local function prof_finish()
|
|||||||
prof_count1 = nil
|
prof_count1 = nil
|
||||||
prof_count2 = nil
|
prof_count2 = nil
|
||||||
prof_ud = nil
|
prof_ud = nil
|
||||||
|
if out ~= stdout then out:close() end
|
||||||
end
|
end
|
||||||
end
|
end
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user