From 76841de7845f66ca2a13a6c9887fd7736b8e701f Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
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...");
   }