From 871e5c496e56b871ea10b9f74bcd80ec2dfb0cfd Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Wed, 6 Sep 2017 15:42:20 +0200
Subject: [PATCH] for easier debugging: overwrite destroyed event mutex

---
 src/db/dbEvent.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/db/dbEvent.c b/src/db/dbEvent.c
index ee1673547..80a28add9 100644
--- a/src/db/dbEvent.c
+++ b/src/db/dbEvent.c
@@ -964,6 +964,7 @@ static void event_task (void *pParm)
     } while( ! pendexit );
 
     epicsMutexDestroy(evUser->firstque.writelock);
+    evUser->firstque.writelock = (epicsMutexId)0xdeadbeef;
 
     {
         struct event_que    *nextque;
@@ -972,6 +973,7 @@ static void event_task (void *pParm)
         while(ev_que){ 
             nextque = ev_que->nextque;
             epicsMutexDestroy(ev_que->writelock);
+            ev_que->writelock = (epicsMutexId)0xdeadbeef;
             freeListFree(dbevEventQueueFreeList, ev_que);
             ev_que = nextque;
         }
@@ -980,6 +982,7 @@ static void event_task (void *pParm)
     epicsEventDestroy(evUser->ppendsem);
     epicsEventDestroy(evUser->pflush_sem);
     epicsMutexDestroy(evUser->lock);
+    evUser->lock = (epicsMutexId)0xdeadbeef;
 
     freeListFree(dbevEventUserFreeList, evUser);