required but implemented to support RawIO protocol</span>
<span class="n">cleanup</span><span class="p">()</span>                             <span class="c1"># Shutdown ECLiPSe engine</span>
</pre></div>
</div>
</section>
</section>


            <div class="clearer"></div>
          </div>
        </div>
      </div>
      <div class="sphinxsidebar" role="navigation" aria-label="Main">
        <div class="sphinxsidebarwrapper">
  <div>
    <h3><a href="index.html">Table of Contents</a></h3>
    <ul>
<li><