Searched refs:exit_browser (Results 1 – 3 of 3) sorted by relevance
15 void exit_browser(bool wait_for_ok);
107 void exit_browser(bool wait_for_ok) in exit_browser() function
324 exit_browser(status); in run_builtin()