def addBatchSystemConfigOptions(config, batchSystem, options):
    """Adds configurations options to the config derived from the decision about the batch system.
    """
    config.attrib['rescue_jobs_frequency'] = str(float(batchSystem.
        getRescueJobFrequency()))
    if options.rescueJobsFrequency != None:
        config.attrib['rescue_jobs_frequency'] = str(float(options.
            rescueJobsFrequency))
