From 8211d8bb0bf7131c547a7ab6e29c0fa2e157fbf5 Mon Sep 17 00:00:00 2001 From: Oliver Davies Date: Wed, 1 Apr 2015 13:21:03 +0100 Subject: [PATCH] Updated the code snippet --- source/_posts/2014-11-27-pantheon-settings-files.md | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/source/_posts/2014-11-27-pantheon-settings-files.md b/source/_posts/2014-11-27-pantheon-settings-files.md index cc453e61c..1f13e0a38 100644 --- a/source/_posts/2014-11-27-pantheon-settings-files.md +++ b/source/_posts/2014-11-27-pantheon-settings-files.md @@ -42,9 +42,14 @@ My alternative solution to this is to include an environment-specific settings f To do this, add the following code to the bottom of settings.php: ~~~php -// If using Pantheon, include an environment-specific settings file, for example -// settings.dev.php, if one exists. if (isset($_SERVER['PANTHEON_ENVIRONMENT'])) { + if ($_SERVER['PANTHEON_ENVIRONMENT'] != 'live') { + // You can still add things here, for example to apply to all sites apart + // from production. Mail reroutes, caching settings etc. + } + + // Include an environment-specific settings file, for example + // settings.dev.php, if one exists. $environment_settings = __DIR__ . '/settings.' . $_SERVER['PANTHEON_ENVIRONMENT'] . '.php'; if (file_exists($environment_settings)) { include $environment_settings;