Skip to content

Commit

Permalink
Fix server not reinitialized after lang. install
Browse files Browse the repository at this point in the history
  • Loading branch information
valentjn committed Sep 26, 2019
1 parent bc49b07 commit e80ea57
Showing 1 changed file with 6 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -339,8 +339,12 @@ public RuleMatch[] match(AnalyzedSentence sentence) {

private Pair<List<RuleMatch>, AnnotatedText> validateDocument(TextDocumentItem document) {
if (languageTool == null) {
Tools.logger.warning(Tools.i18n("skippingTextCheck"));
return new Pair<>(Collections.emptyList(), null);
reinitialize();

if (languageTool == null) {
Tools.logger.warning(Tools.i18n("skippingTextCheck"));
return new Pair<>(Collections.emptyList(), null);
}
}

String codeLanguageId = document.getLanguageId();
Expand Down

0 comments on commit e80ea57

Please sign in to comment.