index 11d6284c0bfc48f4ee4a0dbfc1fa3171d29788aa..6cdd10ae5c0fd72c5a444c2755fa0660bd26dc43 100644 (file)
/*
- * Copyright (c) 2013-2014, Texas Instruments Incorporated
+ * Copyright (c) 2013-2015, Texas Instruments Incorporated
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
Int GateMutex_delete(GateMutex_Handle * handle)
{
+ GateMutex_Object * obj = (GateMutex_Object *)*handle;
+
if (handle == NULL) {
return GateMutex_E_INVALIDARG;
}
if (*handle == NULL) {
return GateMutex_E_INVALIDARG;
}
+ pthread_mutex_destroy(&(obj->mutex));
free(*handle);
*handle = NULL;