You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Linux uses group id's for a process and all it's children. So if roslaunch starts a process, it simply sends a kill to this group id.
The same python function isn't available on windows, so we need a different method. Currently it doesn't do anything except kill the child, so any processes started by that child will just hang as zombies.
We'll tackle it if we have a use case that suddenly requires it. If someone else wants to hit this bug, let me know and I can point them at the code.
The text was updated successfully, but these errors were encountered:
Linux uses group id's for a process and all it's children. So if roslaunch starts a process, it simply sends a kill to this group id.
The same python function isn't available on windows, so we need a different method. Currently it doesn't do anything except kill the child, so any processes started by that child will just hang as zombies.
We'll tackle it if we have a use case that suddenly requires it. If someone else wants to hit this bug, let me know and I can point them at the code.
The text was updated successfully, but these errors were encountered: