chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa43066) | patch
main: force exit on keyboard interrupt
authorMarcus Hoffmann <bubu@bubu1.eu>
Sat, 20 Jan 2018 19:48:02 +0000 (20:48 +0100)
committerMarcus Hoffmann <bubu@bubu1.eu>
Mon, 22 Jan 2018 15:02:49 +0000 (16:02 +0100)
commita1a88e1c6aa8f01afe83aea484c770ef69f0ef06
treed0002ae5643d037c3c2a87d24d398865d51960dbtree | snapshot
parentfa43066f8df414f715f9f88858d638d9d39cb2e1commit | diff
main: force exit on keyboard interrupt

This applies the same workaround as b8ed892ad9ed7e125278b.
fdroid diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.