greg/schala
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Clear up clutter in code from using std::process::

Browse Source
This commit is contained in:
greg 2017-10-02 23:00:11 -07:00
parent c88d59401c
commit 00ee802fbd
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/main.rs
View File

@ -17,7 +17,7 @@ extern crate rocket_contrib;
use std::path::Path; use std::path::Path;
use std::fs::File; use std::fs::File;
use std::io::{Read, Write}; use std::io::{Read, Write};
use std::process; use std::process::exit;
use std::default::Default; use std::default::Default;
mod schala_lang; mod schala_lang;
@ -40,24 +40,24 @@ fn main() {
let option_matches = program_options().parse(std::env::args()).unwrap_or_else(|e| { let option_matches = program_options().parse(std::env::args()).unwrap_or_else(|e| {
println!("{:?}", e); println!("{:?}", e);
std::process::exit(1); exit(1);
}); });
if option_matches.opt_present("list-languages") { if option_matches.opt_present("list-languages") {
for lang in languages { for lang in languages {
println!("{}", lang.get_language_name()); println!("{}", lang.get_language_name());
} }
std::process::exit(1); exit(1);
} }
if option_matches.opt_present("help") { if option_matches.opt_present("help") {
println!("{}", program_options().usage("Schala metainterpreter")); println!("{}", program_options().usage("Schala metainterpreter"));
std::process::exit(0); exit(0);
} }
if option_matches.opt_present("webapp") { if option_matches.opt_present("webapp") {
webapp::web_main(); webapp::web_main();
std::process::exit(0); exit(0);
} }
let language_names: Vec<String> = languages.iter().map(|lang| {lang.get_language_name()}).collect(); let language_names: Vec<String> = languages.iter().map(|lang| {lang.get_language_name()}).collect();
@ -207,7 +207,7 @@ impl Repl {
match cmd { match cmd {
"exit" | "quit" => { "exit" | "quit" => {
self.save_options(); self.save_options();
process::exit(0) exit(0)
}, },
"history" => { "history" => {
for item in self.reader.history() { for item in self.reader.history() {