[Pydev-users] [Users] RE: CTRL+C in PyDev interactive console

[SourceForge.net <no...@so...>]

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