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
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;
    }
}


/*