diff options
Diffstat (limited to 'storage/innobase')
| -rw-r--r-- | storage/innobase/fil/fil0fil.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/storage/innobase/fil/fil0fil.cc b/storage/innobase/fil/fil0fil.cc index fd0a94b4c64..78805b0547b 100644 --- a/storage/innobase/fil/fil0fil.cc +++ b/storage/innobase/fil/fil0fil.cc @@ -2272,7 +2272,7 @@ dberr_t fil_delete_tablespace(ulint id, bool if_exists) " in the tablespace memory cache."; } - return(err); + goto func_exit; } ut_a(space); @@ -2367,8 +2367,9 @@ dberr_t fil_delete_tablespace(ulint id, bool if_exists) err = DB_TABLESPACE_NOT_FOUND; } +func_exit: ut_free(path); - + ibuf_delete_for_discarded_space(id); return(err); } |