From e09b9f3c550481c6acb9f2595d999d5a06ecbdf6 Mon Sep 17 00:00:00 2001
From: Nic Jansma <nic@nicj.net>
Date: Sat, 14 Jan 2017 11:49:28 -0500
Subject: [PATCH] Ensure flush sends no-cache headers

Otherwise browsers may cache the `?reset` response and do nothing.
---
 opcache.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/opcache.php b/opcache.php
index fa0950e..a3109a6 100644
--- a/opcache.php
+++ b/opcache.php
@@ -6,6 +6,9 @@
 
 if (isset($_GET['reset'])) {
     opcache_reset();
+    header('Cache-Control: no-store, no-cache, must-revalidate, max-age=0');
+    header('Cache-Control: post-check=0, pre-check=0', false);
+    header('Pragma: no-cache');
     header('Location: ' . $_SERVER['PHP_SELF'].'#scripts');
 }