SAVE,
CLOSE,
CHANGE,
+ TERM,
RESTART,
ERROR,
return;
}
-
+ this.log(LanguageClientAction.TERM, "SEND exit");
this.jsonrpc_client.send_notification (
"exit",
if (!this.isReady()) {
return;
}
+ this.log(LanguageClientAction.TERM, "SEND shutodwn");
this.sent_shutdown = true;
Variant? return_value;
yield this.jsonrpc_client.call_async (
// this.document_change_real(this.change_queue_file, this.change_queue_file_source);
// this.change_queue_file != null;
//}
-
+ this.log(LanguageClientAction.COMPLETE, "SEND complete");
Variant? return_value;