">gravis</a></dd>
                            </dl>
                        </div>
                    </li>
                    <li name="ch.unibas.cs.gravis.thriftservice.logging" visbl="pub"
                        class="indented6 " data-isabs="false" fullComment="yes" group="Ungrouped">
                        <a id="logging"></a><a id="logging:logging"></a>
                        <span class="permalink">
      <a href="../../../../../ch/unibas/cs/gravis/thriftservice/index.html#logging"
         titl