mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 20:42:30 +01:00
Remove duplicate free of "ds_res"
This commit is contained in:
parent
510d5f1401
commit
a6a8ea0bc9
1 changed files with 0 additions and 3 deletions
|
@ -4957,9 +4957,6 @@ int main(int argc, char **argv)
|
|||
die("No queries executed but result file found!");
|
||||
}
|
||||
|
||||
|
||||
dynstr_free(&ds_res);
|
||||
|
||||
if (!got_end_timer)
|
||||
timer_output(); /* No end_timer cmd, end it */
|
||||
free_used_memory();
|
||||
|
|
Loading…
Reference in a new issue