<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Feb 3, 2014 at 7:20 PM, Niklas Semmler <span dir="ltr"><<a href="mailto:semmler@kth.se" target="_blank">semmler@kth.se</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">PS: Lager is unfortunately not an option as I have to avoid any unnecessary dependencies.</blockquote></div><br>You really want lager for this. What is the rationale for avoiding an unnecessary dependency?<br>

<br clear="all"><div><br></div>-- <br>J.
</div></div>