Merge pull request #19872 from glayzzle/master

fix: dispose the this.documentListener
This commit is contained in:
Rob Lourens 2017-08-27 09:36:53 -07:00 committed by GitHub
commit 042662748e

View file

@ -121,6 +121,10 @@ export default class PHPValidationProvider {
public dispose(): void {
this.diagnosticCollection.clear();
this.diagnosticCollection.dispose();
if (this.documentListener) {
this.documentListener.dispose();
this.documentListener = null;
}
}
private loadConfiguration(): void {