Searched refs:DB_FILENAME (Results 1 – 1 of 1) sorted by relevance
26 const DB_FILENAME: &str = "vmids.sqlite"; constant63 db_path.push(DB_FILENAME); in new()128 db_path.push(DB_FILENAME); in delete_db_file()451 db_path.push(DB_FILENAME); in test_corrupt_database_file()469 db_path.push(DB_FILENAME); in test_non_upgradable_database_file()