 segment manager's destroy_ptr function to destroy the passed pointer resource.</p>
<p>This deleter is used </p>
<div class="refsect2">
<a name="id-1.3.19.17.3.48.4.4.4"></a><h3>
<a name="boost.interprocess.deleterconstruct-copy-destruct"></a><code class="computeroutput">deleter</code> 
        public
       construct/copy/destruct</h3>
<div class="orderedlist"><ol class="orderedlist" type="1"><li class="listitem"><pre class="literallayout"><a name="idp50293904-bb"></a><span class="identifier">deleter</span