ica Neue';">These two things above don’t actually solve the problem of handling exceptions and giving the user options of how to react, but we already do so by giving the user the chance to catch exceptions with the explicit “close” function, so he or she</span></div>
<div><span style="font-family: 'Helvetica Neue';">can’t complain if we don’t handle the exception in the destructor. </span></div>
</div>
</div>
<div><br/></div>
</body></html>