]> git.jsancho.org Git - midgaard_bot.git/commitdiff
Clean exit when Ctrl+C arrives
authorJavier Sancho <jsf@jsancho.org>
Mon, 27 Nov 2017 16:29:57 +0000 (17:29 +0100)
committerJavier Sancho <jsf@jsancho.org>
Mon, 27 Nov 2017 16:29:57 +0000 (17:29 +0100)

No differences found