Skip to content
Snippets Groups Projects
Commit 9ec4e97e authored by Joseph Mirabel's avatar Joseph Mirabel
Browse files

Update gui_client to changes in gepetto-viewer

parent 905dfd4b
No related branches found
No related tags found
No related merge requests found
......@@ -83,12 +83,7 @@ def gui_client(window_name = None, dont_raise = False, url = None, host = None,
print("Check whether gepetto-gui is properly started.")
return
if window_name is not None:
if window_name in gui.getWindowList():
window_id = gui.getWindowID(window_name)
else:
window_id = gui.createWindow(window_name)
#TODO Should we return the window ID ?
# I think it is useless at it is almost never used.
gui.createWindow(window_name)
return gui
def _initWithNameService (orb, urlNameService):
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment