mirror of
https://github.com/MariaDB/server.git
synced 2025-09-03 20:43:11 +03:00
Remove duplicate free of "ds_res"
This commit is contained in:
@@ -4957,9 +4957,6 @@ int main(int argc, char **argv)
|
|||||||
die("No queries executed but result file found!");
|
die("No queries executed but result file found!");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
dynstr_free(&ds_res);
|
|
||||||
|
|
||||||
if (!got_end_timer)
|
if (!got_end_timer)
|
||||||
timer_output(); /* No end_timer cmd, end it */
|
timer_output(); /* No end_timer cmd, end it */
|
||||||
free_used_memory();
|
free_used_memory();
|
||||||
|
Reference in New Issue
Block a user