X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.ml;h=fbbd73e44b68ddcb7b7fbd1a7d5e153f0e8e3279;hb=HEAD;hp=d537d7804c7e6fc86ef711c7ac51e08f5e46c86a;hpb=4de8e95b17adf047c7789f44ec0ba64fd02b0b5a;p=SXSI%2Fxpathcomp.git

diff --git a/src/options.ml b/src/options.ml
index d537d78..fbbd73e 100644
--- a/src/options.ml
+++ b/src/options.ml
@@ -1,27 +1,5 @@
-open Utils
 open Format
-
-let index_empty_texts = ref true
-let sample_factor = ref 64
-let disable_text_collection = ref false
-let tc_threshold = ref 60000
-
-let query = ref ""
-let input_file = ref ""
-let output_file = ref None
-let save_file = ref ""
-let count_only = ref false
-let time = ref false
-let bottom_up = ref false
-let no_jump = ref false
-let no_cache = ref false
-let verbose = ref false
-let text_index_type = ref 0
-let do_perf = ref false
-let twopass = ref false
-let repeat = ref 1
-let docstats = ref false
-let no_wrap_results = ref false
+open Config
 
 let set_index_type = function
   | "default" -> text_index_type := 0
@@ -43,13 +21,13 @@ let set_logger s =
   List.iter (fun t ->
     if t = "" then ()
     else
-      match String.explode t ':' with
+      match Utils.String.explode t ':' with
 	[ tr; lvl ] ->
 	  let l = try int_of_string lvl with _ -> raise (Arg.Bad (lvl)) in
 	  if Logger.is_logger tr then Logger.activate tr l
 	  else raise (Arg.Bad (t))
       | _ -> raise (Arg.Bad (t))
-  ) (String.explode s ',')
+  ) (Utils.String.explode s ',')
 
 let pretty_loggers () =
   ignore(flush_str_formatter());