Save settings on ctrl-D

2018-02-11 16:28:17 -08:00 · 2018-02-11 16:28:17 -08:00 · 76841de784
commit 76841de784
parent c0574ff1ef
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...");
  }