mirror of
https://github.com/enso-org/enso.git
synced 2024-12-23 06:01:37 +03:00
Fix with profiling option (#8266)
close #8156 Followup to #8254. For some reason, I did not commit this change to the original PR.
This commit is contained in:
parent
6be94a854b
commit
210c1907a8
@ -1299,6 +1299,7 @@ object Main {
|
||||
}
|
||||
sampler.start()
|
||||
profilingConfig.profilingTime.foreach(sampler.stop(_)(executor))
|
||||
sys.addShutdownHook(sampler.stop())
|
||||
|
||||
try {
|
||||
main
|
||||
|
Loading…
Reference in New Issue
Block a user