Searched refs:redirect_to_file (Results 1 – 3 of 3) sorted by relevance
411 void redirect_to_file(FILE *redirect, char *path);
2112 redirect_to_file(stderr, const_cast<char*>(ds.log_path_.c_str())); in run_main()2121 redirect_to_file(stdout, const_cast<char*>(ds.tmp_path_.c_str())); in run_main()
774 void redirect_to_file(FILE *redirect, char *path) { in redirect_to_file() function