prod.settings.inc