log frontends/src/jp/base.py @ 1884:0fe69871b71f

age author description
Sat, 05 Mar 2016 18:00:56 +0100 Goffi jp: moved KeyboardInterrupt catch one level higher, so it is also catched if the loop is not started