nEnd</code> shall now trigger a special graceful-session-end error. Naturally this would only be usefully emitted if we're not in the dtor yet. So the latter situation should kick-off the user invoking our dtor sometime soon, hopefully; we'll send our <code>GracefulSessionEnd</code> to them; and so on. </p>

<p class="definition">Definition at line <a class="el" href="session__base_8hpp_source.html#l00575">575</a> of file <a class="el" href="session__base_8hpp_source.html">session_base.hpp</a>.</p>
</div><h