fix: dispose the this.documentListener

This commit is contained in:
Ioan CHIRIAC
2017-02-03 20:49:14 +01:00
parent f869a1ef9d
commit b23c6abd14

View File

@@ -120,6 +120,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 {
@@ -289,4 +293,4 @@ export default class PHPValidationProvider {
}
vscode.window.showInformationMessage(message);
}
}
}