Searched refs:stat_file (Results 1 – 1 of 1) sorted by relevance
64 FILE* stat_file = fopen( stat_file_path, "rt" ); in get_start_time() local65 if( stat_file==nullptr ) { in get_start_time()70 char* line = fgets( stat_line, MAX_STR_LEN, stat_file ); in get_start_time()