1
0
mirror of https://github.com/NLnetLabs/routinator.git synced 2024-05-19 06:50:04 +00:00

Override Clippy.

This commit is contained in:
Martin Hoffmann
2019-09-17 14:01:40 +02:00
parent acaec7decc
commit 9227270bcc

View File

@ -184,6 +184,7 @@ impl<'a> Run<'a> {
///
/// Returns `None` if creating failed or if the server is unknown and
/// updating is disabled
#[allow(clippy::question_mark)] // Explicit if: more understandable code
pub fn load_server(&self, notify_uri: &uri::Https) -> Option<ServerId> {
let res = unwrap!(self.servers.read()).find(notify_uri);
let (id, server) = match res {