Check and remove /tmp/gazebo-xxx directories upon restart by doing a PID check for existing gazebo threads.
diff patch to Server.cc
Logged In: YES user_id=761920 Originator: NO
The changes have been made in SVN trunk. Thank you for your contribution.
Log in to post a comment.
diff patch to Server.cc
Logged In: YES
user_id=761920
Originator: NO
The changes have been made in SVN trunk.
Thank you for your contribution.