Searched refs:zSavedFilename (Results 1 – 2 of 2) sorted by relevance
3349 const char *zSavedFilename = p->zDbFilename; in do_meta_command() local3363 p->zDbFilename = zSavedFilename; in do_meta_command()
3371 const char *zSavedFilename = p->zDbFilename; in do_meta_command() local3385 p->zDbFilename = zSavedFilename; in do_meta_command()