webots_launcher.py File Reference

Go to the source code of this file.

Namespaces
	webots_launcher

Variables
	webots_launcher.args
list	webots_launcher.command = [os.path.join(os.environ['WEBOTS_HOME'], 'webots'), '--mode=' + options.mode, options.world]
	webots_launcher.default
	webots_launcher.dest
	webots_launcher.help
	webots_launcher.options
	webots_launcher.optParser = optparse.OptionParser()