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/?p=midgaard_bot.git;a=commitdiff_plain;h=1fd30cb70efb466102134634df0c6de907f70f88;hp=1fd30cb70efb466102134634df0c6de907f70f88

Clean exit when Ctrl+C arrives
---