Searched refs:redirect_to_file (Results 1 – 3 of 3) sorted by relevance
377 void redirect_to_file(FILE *redirect, char *path);
1655 redirect_to_file(stderr, const_cast<char*>(ds.log_path_.c_str())); in main()1663 redirect_to_file(stdout, const_cast<char*>(ds.tmp_path_.c_str())); in main()
801 void redirect_to_file(FILE *redirect, char *path) { in redirect_to_file() function