Searched refs:historical_db (Results 1 – 1 of 1) sorted by relevance
222 const optional< fs::path > historical_db = get_historical_db(); in results_file_create() local223 if (historical_db) in results_file_create()224 results_file = historical_db.get().str(); in results_file_create()251 const optional< fs::path > historical_db = get_historical_db(); in results_file_open() local252 if (historical_db) in results_file_open()253 results_file = historical_db.get().str(); in results_file_open()