OpenDDS: ThreadSynchResource.cpp Source File

00001 /*
00002  *
00003  *
00004  * Distributed under the OpenDDS License.
00005  * See: http://www.opendds.org/license.html
00006  */
00007 
00008 #include "DCPS/DdsDcps_pch.h" //Only the _pch include should start with DCPS/
00009 #include "ThreadSynchResource.h"
00010 
00011 #if !defined (__ACE_INLINE__)
00012 #include "ThreadSynchResource.inl"
00013 #endif /* __ACE_INLINE__ */
00014 
00015 OpenDDS::DCPS::ThreadSynchResource::~ThreadSynchResource()
00016 {
00017   DBG_ENTRY_LVL("ThreadSynchResource","~ThreadSynchResource",6);
00018   delete this->timeout_;
00019 }