rem: if (use_db && (pa_dbf.close != NULL) && (pa_db != NULL)) { pa_dbf.close(pa_db); }
add: if (use_db) close_pa_db_connection(pa_db); pa_db = NULL;
context: static void pa_destroy(void){	free_all_pdomains();	if (use_db && (pa_dbf.close != NULL) && (pa_db != NULL)) {		pa_dbf.close(pa_db);	}}