Line data    Source code

       1             : /*
       2             :  *
       3             :  *
       4             :  * Distributed under the OpenDDS License.
       5             :  * See: http://www.opendds.org/license.html
       6             :  */
       7             : 
       8             : #include "DCPS/DdsDcps_pch.h" //Only the _pch include should start with DCPS/
       9             : #include "ThreadSynchWorker.h"
      10             : 
      11             : #if !defined (__ACE_INLINE__)
      12             : #include "ThreadSynchWorker.inl"
      13             : #endif /* __ACE_INLINE__ */
      14             : 
      15           0 : OpenDDS::DCPS::ThreadSynchWorker::~ThreadSynchWorker()
      16             : {
      17             :   DBG_ENTRY_LVL("ThreadSynchWorker","~ThreadSynchWorker",6);
      18           0 : }