Update stream parameter's default value

cyberbotics · Dec 17, 2021 · 46eebf8 · 46eebf8
1 parent 7b0dedd
commit 46eebf8
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/scripts/webots_launcher.py b/scripts/webots_launcher.py
@@ -33,8 +33,11 @@
 
 command = [os.path.join(os.environ['WEBOTS_HOME'], 'webots'), '--mode=' + options.mode, options.world]
 
-if options.stream != 'false':
-    command.append('--stream="' + options.stream + '"')
+if options.stream.lower() != 'false':
+    if options.stream.lower() == 'true':
+        command.append('--stream="port=1234;mode=x3d;monitorActivity"')
+    else:
+        command.append('--stream="' + options.stream + '"')
 
 if options.noGui.lower() == 'true':
     command.append('--stdout')