Message7406
I think that this is to do with the JLineConsole.
If you change the "python.console" property in the registry file to "org.python.util.InteractiveConsole", i.e
python.console=org.python.util.InteractiveConsole
The ctrl-c starts working fine.
If you leave it at the default JLine console (http://jline.sourceforge.net/) then ctrl-c seems to get treated as a normal character (shows up as a heart symbol on my windows command line).
I suggest you try a different console class until this is fixed.
I'll look into how we can address this.
In the meantime, I would be interested in reports to see if changing the console class fixes the issue on various platforms. |
|
Date |
User |
Action |
Args |
2012-08-14 21:45:35 | amak | set | messageid: <1344980735.38.0.849251529288.issue1270@psf.upfronthosting.co.za> |
2012-08-14 21:45:35 | amak | set | recipients:
+ amak, fwierzbicki, pekka.klarck, pjenvey, a_o_m, zyasoft, nriley, boisgera |
2012-08-14 21:45:35 | amak | link | issue1270 messages |
2012-08-14 21:45:35 | amak | create | |
|