Community
Participate
Working Groups
It should check if (provider != null) before call provider.dispose().
Created attachment 79467 [details] Patch
Patch released to HEAD
Verified by code inspection.