[Pydev-users] [Users] RE: CTRL+C in PyDev interactive console
Brought to you by:
fabioz
|
From: SourceForge.net <no...@so...> - 2011-06-06 12:57:16
|
The following forum message was posted by fabioz at http://sourceforge.net/projects/pydev/forums/forum/293649/topic/4560271: The main reason this is not done is because I couldn't find a way to make that work properly on windows/linux (the 'real' solution would be having java do a proper work here, but just getting the PID has a bug open since 1999: http://bugs.sun.com/view_bug.do?bug_id=4244896, so, I'm not sure it'll ever be done...). Some thoughts about it (from researching a bit): For Linux, one could use "kill -s TERM 1234" (couldn't find any replacement for windows). Getting the process id of a spawned process may be difficult from Java, but it seems org.jruby.util.ShellLauncher does it, so, it might be worth taking a look at it (may not be the best approach though). In short, if someone can point to a multi-platform solution to this problem, I can add it to PyDev :) Cheers, Fabio |