diff --git a/server/src/main.rs b/server/src/main.rs index 17f115a..c7b478a 100644 --- a/server/src/main.rs +++ b/server/src/main.rs @@ -207,7 +207,7 @@ OPTIONS: p.disconnect(); } - if let Some(_) = args.value_of("server") { + if args.is_present("server") { if main_ret == NO_ERR { main_ret = start_server(main_ret).await; }