Module Jenga_lib.Jenga_options

Various configuration options for jenga meant for development or debugging, not for casual users. These are specified as an sexp in the env var "JENGA_OPTIONS".

type t = {
cycle_checking_interval : Core.Time.Span.t option;
fd_close_timeout : Core.Time.Span.t;
sigstop_on_thread_pool_stuck : bool;
compact_and_save_delay : Core.Time.Span.t;
turn_off_db_saves : bool;
turn_off_mtimes_check : bool;
}
val t : t