From b766b958d13ac1cfdee9f403527842cb13965631 Mon Sep 17 00:00:00 2001
From: antedeguemon <vammerlo@inf.ufrgs.br>
Date: Wed, 2 Aug 2017 00:38:23 -0300
Subject: [PATCH] Fix: cache flushing to avoid installation error

---
 install.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/install.php b/install.php
index ff994010..08c64f20 100644
--- a/install.php
+++ b/install.php
@@ -900,6 +900,10 @@ if ($step == 0) {
 	$instance_config .= "\n";
 	
 	if (@file_put_contents('inc/instance-config.php', $instance_config)) {
+		// flushes opcache if php >= 5.5.0 or opcache is installed via PECL
+		if (function_exists('opcache_invalidate')) {
+			opcache_invalidate('inc/instance-config.php');
+		}
 		header('Location: ?step=4', true, $config['redirect_http']);
 	} else {
 		$page['title'] = 'Manual installation required';