Ignore client-specific notifications

closes #3523
This commit is contained in:
Aleksey Kladov 2020-03-09 09:26:41 +01:00
parent 5b3d97e449
commit 8aeab8d7b0

View file

@ -631,6 +631,9 @@ fn on_notification(
}
Err(not) => not,
};
if not.method.starts_with("$/") {
return Ok(());
}
log::error!("unhandled notification: {:?}", not);
Ok(())
}