Searched refs:option_timeout (Results 1 – 4 of 4) sorted by relevance
47 int option_timeout = 60; variable224 &option_timeout) != 1) in parse_args()
454 if (!option_timeout || time_parsing_function() < option_timeout) { in going_too_slow()461 sm_perror("turning off implications after %d seconds", option_timeout); in going_too_slow()661 if (option_timeout && sec > option_timeout) { in separate_and_filter()
883 if (option_timeout && in taking_too_long()884 (ms_since(&outer_fn_start_time) / 1000) > option_timeout * 5) in taking_too_long()
224 extern int option_timeout;