mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
Fix RIDER-97839 Previous version had several issues: - A timed-out job may have been stuck in pendingJobs forever. - The code was scheduling the monitor tasks to default dispatcher that has limited size (and if the whole default dispatcher is blocked, then the code deadlocks). The current approach is less susceptible to this problem, because it uses a separate isolated view of the unlimited dispatcher (the one that's shared by the IO dispatcher as well). GitOrigin-RevId: dee29c61a6be42e036122485c53818672ded324c