From 253a85005ccef1882c119c5f2e8b3c103d59364c Mon Sep 17 00:00:00 2001 From: greg Date: Sun, 11 Feb 2018 16:28:17 -0800 Subject: [PATCH] Save settings on ctrl-D --- schala-lib/src/lib.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/schala-lib/src/lib.rs b/schala-lib/src/lib.rs index 4fc882a..a898323 100644 --- a/schala-lib/src/lib.rs +++ b/schala-lib/src/lib.rs @@ -188,6 +188,7 @@ impl Repl { _ => (), } } + self.save_options(); println!("Exiting..."); }