Fix with profiling option (#8266)

close #8156 Followup to #8254. For some reason, I did not commit this change to the original PR.
enso-org · Nov 9, 2023 · 210c190 · 210c190
1 parent 6be94a8
commit 210c190
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/engine/runner/src/main/scala/org/enso/runner/Main.scala b/engine/runner/src/main/scala/org/enso/runner/Main.scala
@@ -1299,6 +1299,7 @@ object Main {
     }
     sampler.start()
     profilingConfig.profilingTime.foreach(sampler.stop(_)(executor))
+    sys.addShutdownHook(sampler.stop())
 
     try {
       main