From 95140c50010c0557af66dac944403a1a65dd312c Mon Sep 17 00:00:00 2001
From: Mike Pall <mike>
Date: Fri, 25 Jun 2021 12:48:42 +0200
Subject: [PATCH] Flush and close output file after profiling run.

Thanks to Sergey Ostanevich.
---
 src/jit/p.lua | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/jit/p.lua b/src/jit/p.lua
index c0ad6c0e..c9ec1d8b 100644
--- a/src/jit/p.lua
+++ b/src/jit/p.lua
@@ -238,6 +238,7 @@ local function prof_finish()
     prof_count1 = nil
     prof_count2 = nil
     prof_ud = nil
+    if out ~= stdout then out:close() end
   end
 end