This repository has been archived on 2025-01-07. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.
stream-demo/patches/settings-local.patch

15 lines
569 B
Diff
Raw Normal View History

2020-07-21 01:26:36 +01:00
diff --git a/web/sites/default/settings.php b/web/sites/default/settings.php
index c1c97d2..4f93dc3 100755
--- a/web/sites/default/settings.php
+++ b/web/sites/default/settings.php
@@ -767,6 +767,6 @@
* Keep this code block at the end of this file to take full effect.
*/
#
-# if (file_exists($app_root . '/' . $site_path . '/settings.local.php')) {
-# include $app_root . '/' . $site_path . '/settings.local.php';
-# }
+if (file_exists($app_root . '/' . $site_path . '/settings.local.php')) {
+ include $app_root . '/' . $site_path . '/settings.local.php';
+}