Also set documentListener to null after dispose - #19872

This commit is contained in:
Rob Lourens 2017-08-27 09:38:08 -07:00
parent 042662748e
commit 134a02610a

View file

@ -154,6 +154,7 @@ export default class PHPValidationProvider {
} }
if (this.documentListener) { if (this.documentListener) {
this.documentListener.dispose(); this.documentListener.dispose();
this.documentListener = null;
} }
this.diagnosticCollection.clear(); this.diagnosticCollection.clear();
if (this.validationEnabled) { if (this.validationEnabled) {