diff options
Diffstat (limited to 'components/servo/main.rs')
| -rw-r--r-- | components/servo/main.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/components/servo/main.rs b/components/servo/main.rs index bf4c0b14f4c..ca0eec17955 100644 --- a/components/servo/main.rs +++ b/components/servo/main.rs @@ -40,6 +40,7 @@ use servo::Browser; use servo::compositing::windowing::WindowEvent; use servo::util::opts::{self, ArgumentParsingResult}; use servo::util::panicking::initiate_panic_hook; +use std::process; use std::rc::Rc; pub mod platform { @@ -102,6 +103,11 @@ fn main() { return servo::run_content_process(token) } + if opts::get().is_printing_version { + println!("Servo {}{}", env!("CARGO_PKG_VERSION"), env!("GIT_INFO")); + process::exit(0); + } + let window = app::create_window(None); // Our wrapper around `Browser` that also implements some |