Message7404
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. |
|
Date |
User |
Action |
Args |
2012-08-14 21:42:44 | amak | set | messageid: <1344980564.27.0.363163333212.issue1957@psf.upfronthosting.co.za> |
2012-08-14 21:42:44 | amak | set | recipients:
+ amak, fwierzbicki, clach04 |
2012-08-14 21:42:44 | amak | link | issue1957 messages |
2012-08-14 21:42:43 | amak | create | |
|