[boost] [thread] ~mutex and BOOST_VERIFY

26 May 2013

      Hi,
I saw that the destructor of ~mutex doesn't have
a BOOST_VERIFY anymore on the return value of
pthread_mutex_destroy. From SVN logs I can see it was
removed in the commit 75882 to manage the EINTR due
to some bugged POSIX implementation.
I will reintroduce the BOOST_VERIFY like this:

         ~mutex()
         {
             int ret;
             do
             {
                 ret = pthread_mutex_destroy(&m);
             } while (ret == EINTR);
             BOOST_VERIFY(!ret);
         }

while we are at it consider the fact that for the
same reason ~mutex needs to check for that EINTR
return value the same should do timed_mutex.

Regards
Gaetano Mendola