Merge pull request #376 from gtalusan/master
authortexane <texane@gmail.com>
Tue, 23 Feb 2016 05:52:15 +0000 (06:52 +0100)
committertexane <texane@gmail.com>
Tue, 23 Feb 2016 05:52:15 +0000 (06:52 +0100)
make st-flash clean up on sigint/term/segv, make gdb-server clean up on sigsegv.


Trivial merge