comparison frontends/src/jp/cmd_profile.py @ 1884:0fe69871b71f

jp: moved KeyboardInterrupt catch one level higher, so it is also catched if the loop is not started
author Goffi <goffi@goffi.org>
date Sat, 05 Mar 2016 18:00:56 +0100
parents 96ba685162f6
children 227a4e617549 3e168cde7a7d
comparison
equal deleted inserted replaced
1883:abb2f253188e 1884:0fe69871b71f