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 ------------------------------------------------------------------------------ Simplify data backup and recovery for your virtual environment with vRanger. Installation's a snap, and flexible recovery options mean your data is safe, secure and there when you need it. Discover what all the cheering's about. Get your free trial download today. http://p.sf.net/sfu/quest-dev2dev2 _______________________________________________ Pydev-users mailing list Pydev-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/pydev-users
