# which accompanies this distribution, and is available at
# http://www.apache.org/licenses/LICENSE-2.0
##############################################################################
# which accompanies this distribution, and is available at
# http://www.apache.org/licenses/LICENSE-2.0
##############################################################################
if doctor_driver not in drivers:
config_modified = True
drivers += ',' + doctor_driver
if doctor_driver not in drivers:
config_modified = True
drivers += ',' + doctor_driver