mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
This is a valid scenario: 1. We started profiling 2. IDE is running too long, we invoke stopProfile via EventBus before killing IDE 3. We invoke stopProfile again from the command and now there is no running profiler GitOrigin-RevId: 5d810ac2cecfe0be5e54e01597c72b1e68169ea2