1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

SQL: invalidate current SP at archive substitution [closes #127]

Related to #125
This commit is contained in:
Aleksey Midenkov
2017-09-29 17:51:10 +03:00
parent 5e42511ce1
commit 9062385c20
7 changed files with 22 additions and 25 deletions

View File

@ -62,6 +62,7 @@ void sp_cache_insert(sp_cache **cp, sp_head *sp);
sp_head *sp_cache_lookup(sp_cache **cp, sp_name *name);
void sp_cache_invalidate();
void sp_cache_flush_obsolete(sp_cache **cp, sp_head **sp);
void sp_cache_flush(sp_cache *cp, sp_head *sp);
ulong sp_cache_version();
void sp_cache_enforce_limit(sp_cache *cp, ulong upper_limit_for_elements);