From 4297c645083023520bbcd8b12908759c05289d1e Mon Sep 17 00:00:00 2001
From: Daniel Wehner <dawehner@users.noreply.github.com>
Date: Thu, 24 Mar 2016 13:30:00 -0700
Subject: [PATCH] Update default.settings.php

Don't fail on simpletest, which copies default.settings.php
---
 sites/default/default.settings.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/sites/default/default.settings.php b/sites/default/default.settings.php
index 910bec4b9..58c82cffc 100644
--- a/sites/default/default.settings.php
+++ b/sites/default/default.settings.php
@@ -713,7 +713,9 @@ $settings['container_yamls'][] = __DIR__ . '/services.yml';
  *      a local development environment, to insure that
  *      the site settings remain consistent.
  */
-include __DIR__ . "/settings.pantheon.php";
+if (file_exists(__DIR__ . '/settings.pantheon.php')) {
+  include __DIR__ . "/settings.pantheon.php";
+}
 
 /**
  * Load local development override configuration, if available.