Added get_launch_parameters to the API.