Searched refs:db_time_format (Results 1 – 3 of 3) sorted by relevance
36 int db_time_format = DEFAULT_TIME_FORMAT; variable1343 if (db_time_format == LOCAL_TIME_FORMAT) { in print_time()
2128 db_time_format = DEFAULT_TIME_FORMAT;2130 db_time_format = LOCAL_TIME_FORMAT;
2614 extern int db_time_format;