diff --git a/src/langserver/main.rs b/src/langserver/main.rs index 1eb071b3..a1b6b70d 100644 --- a/src/langserver/main.rs +++ b/src/langserver/main.rs @@ -69,6 +69,8 @@ fn main() { if let Some(arg) = args.next() { if arg == "--debugger" { return debugger::debugger_main(args); + } else if arg == "--version" { + return; } else { panic!("unknown argument {:?}", arg); }