[AGENT++] Synchronized mutex_destroy failed error

[Jochen Katz]

Hi,

> 20070801.16:00:24: 772: (2)ERROR  : Synchronized mutex_destroy failed
> with (result)(ptr): (16), (135645244)
> 
> been fixed? I've seen older discussion on the mailing list archive that
> suggest temporary fixes and analyse the problem, but the latest
> downloadable version still seems to have this problem.

I searched through the thread code, but I couldn't find the reason, why
the mutex is sometimes not locked in ThreadManager destructor.
I just commited the workaround below.

Regards,
  Jochen

 ThreadManager::~ThreadManager()
 {
 #ifdef _THREADS
+    if (trylock())
        unlock();
+    else
+       unlock();
 #endif
 }