1
0
mirror of https://github.com/MariaDB/server.git synced 2025-12-13 20:03:16 +03:00

branches/zip: Merge revisions 200:236 from trunk.

This commit is contained in:
marko
2006-02-23 19:25:29 +00:00
parent f5f0847aaa
commit 747c8fad44
207 changed files with 11762 additions and 11561 deletions

View File

@@ -29,7 +29,7 @@ sess_t*
sess_open(void)
/*===========*/
/* out, own: session object */
{
{
sess_t* sess;
#ifdef UNIV_SYNC_DEBUG
@@ -48,13 +48,12 @@ sess_open(void)
/*************************************************************************
Closes a session, freeing the memory occupied by it. */
static
void
sess_close(
/*=======*/
sess_t* sess) /* in, own: session object */
{
{
#ifdef UNIV_SYNC_DEBUG
ut_ad(mutex_own(&kernel_mutex));
#endif /* UNIV_SYNC_DEBUG */