diff options
| author | Daniel Black <grooverdan@users.sourceforge.net> | 2017-07-02 13:52:34 +1000 |
|---|---|---|
| committer | Sergey Vojtovich <svoj@mariadb.org> | 2017-07-03 13:31:09 +0400 |
| commit | 89b81a9a24c08221dc551d8572ef68e426afce3a (patch) | |
| tree | 586ab8b2e2e3e23926f3a0b695a8a408ebe80476 /storage | |
| parent | 2328860379eb6e1df240f5428213ed005b35a975 (diff) | |
| download | mariadb-git-89b81a9a24c08221dc551d8572ef68e426afce3a.tar.gz | |
ma_pagecache: release lock in pagecache_read
make_lock_and_pin didn't release the lock so we should.
Found by Coverity (id 972095).
Diffstat (limited to 'storage')
| -rw-r--r-- | storage/maria/ma_pagecache.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/storage/maria/ma_pagecache.c b/storage/maria/ma_pagecache.c index 1a791d43034..bb9f5a03ad7 100644 --- a/storage/maria/ma_pagecache.c +++ b/storage/maria/ma_pagecache.c @@ -3474,6 +3474,7 @@ restart: lock_to_read[lock].unlock_lock, unlock_pin, FALSE)) { + pagecache_pthread_mutex_unlock(&pagecache->cache_lock); DBUG_ASSERT(0); return (uchar*) 0; } |