diff options
Diffstat (limited to 'ace/Pagefile_Memory_Pool.h')
-rw-r--r-- | ace/Pagefile_Memory_Pool.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ace/Pagefile_Memory_Pool.h b/ace/Pagefile_Memory_Pool.h index a82e5706c3f..76951771a73 100644 --- a/ace/Pagefile_Memory_Pool.h +++ b/ace/Pagefile_Memory_Pool.h @@ -67,6 +67,9 @@ public: ACE_Pagefile_Memory_Pool (const ACE_TCHAR *backing_store_name = 0, const OPTIONS *options = 0); + /// Destructor + virtual ~ACE_Pagefile_Memory_Pool (void); + /// Ask system for initial chunk of shared memory. void *init_acquire (size_t nbytes, size_t &rounded_bytes, |