mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
Releasing is already performed in a graceful manner, without interrupting ongoing RPCs, and the only place that might invoke an already released handle, is destroy(), which is OK to ignore after the process termination. GitOrigin-RevId: ce7c7512c4bad06a9b77cebc9ee360c56707840c