Diff
Not logged in

Differences From Artifact [bd13a7b3c7]:

To Artifact [ca741063f9]:


538
539
540
541
542
543
544

545
546
547
548
549
550
551

void
TclpFinalizeMutex(mutexPtr)
    Tcl_Mutex *mutexPtr;
{
    pthread_mutex_t *pmutexPtr = *(pthread_mutex_t **)mutexPtr;
    if (pmutexPtr != NULL) {

	ckfree((char *)pmutexPtr);
	*mutexPtr = NULL;
    }
}


/*







>







538
539
540
541
542
543
544
545
546
547
548
549
550
551
552

void
TclpFinalizeMutex(mutexPtr)
    Tcl_Mutex *mutexPtr;
{
    pthread_mutex_t *pmutexPtr = *(pthread_mutex_t **)mutexPtr;
    if (pmutexPtr != NULL) {
        pthread_mutex_destroy(pmutexPtr);
	ckfree((char *)pmutexPtr);
	*mutexPtr = NULL;
    }
}


/*