Save settings on ctrl-D

2018-02-11 16:28:17 -08:00 · 2018-02-11 16:28:17 -08:00 · 253a85005c
commit 253a85005c
parent 967e5cc436
1 changed files with 1 additions and 0 deletions
--- a/schala-lib/src/lib.rs
+++ b/schala-lib/src/lib.rs
@ -188,6 +188,7 @@ impl Repl {
        _ => (),
      }
    }
+    self.save_options();
    println!("Exiting...");
  }