Searched refs:saved_debug_level (Results 1 – 1 of 1) sorted by relevance
565 static int saved_debug_level = -1; in sigint_handler() local569 if(saved_debug_level != -1) { in sigint_handler()571 saved_debug_level); in sigint_handler()572 debug_level = saved_debug_level; in sigint_handler()573 saved_debug_level = -1; in sigint_handler()578 saved_debug_level = debug_level; in sigint_handler()