()
| 904 | } |
| 905 | |
| 906 | pub fn get_options() -> HashMap<String, String> { |
| 907 | let mut res = DEFAULT_SETTINGS.read().unwrap().clone(); |
| 908 | res.extend(CONFIG2.read().unwrap().options.clone()); |
| 909 | res.extend(OVERWRITE_SETTINGS.read().unwrap().clone()); |
| 910 | res |
| 911 | } |
| 912 | |
| 913 | #[inline] |
| 914 | fn purify_options(v: &mut HashMap<String, String>) { |