From: Javier Sancho <jsf@jsancho.org>
Date: Mon, 27 Nov 2017 16:29:57 +0000 (+0100)
Subject: Clean exit when Ctrl+C arrives
X-Git-Url: https://git.jsancho.org/?a=commitdiff_plain;ds=sidebyside;h=1fd30cb70efb466102134634df0c6de907f70f88;hp=1fd30cb70efb466102134634df0c6de907f70f88;p=midgaard_bot.git

Clean exit when Ctrl+C arrives
---