mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
The tool execution context was created with a no-op shutdown handler. Now it delegates to ExtensionRunner.shutdown() which uses the handler set by the mode via initialize().