From f649fc24a65342a9db8e28ce1f272a80f554bbf1 Mon Sep 17 00:00:00 2001
From: thepurpleblob <thepurpleblob>
Date: Tue, 26 Jul 2005 12:32:49 +0000
Subject: [PATCH] TeX cache cleared when page displayed, to ensure changes
 actually apply.

---
 filter/tex/filterconfig.html | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/filter/tex/filterconfig.html b/filter/tex/filterconfig.html
index 0a7ba0d13e8..548f6e9302d 100644
--- a/filter/tex/filterconfig.html
+++ b/filter/tex/filterconfig.html
@@ -2,6 +2,10 @@
     // check the default settings
     require_once "defaultsettings.php";
     tex_defaultsettings();
+
+    // bit of a bodge - clear the tex cache area
+    // so that any changes will display
+    delDirContents( "$CFG->dataroot/filter/tex" ); 
 ?>
 
 <table cellpadding="9" cellspacing="0">