From 23fe15e8cd4b2b5f7921e8ef9c508d8223957249 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Sat, 12 May 2012 10:04:17 +0100
Subject: [PATCH] clear CSS cache on theme changes

---
 ext/setup/main.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ext/setup/main.php b/ext/setup/main.php
index 195c0904..83f7c235 100644
--- a/ext/setup/main.php
+++ b/ext/setup/main.php
@@ -291,6 +291,10 @@ class Setup extends Extension {
 			}
 		}
 		log_warning("setup", "Configuration updated");
+		foreach(glob("data/cache/*.css") as $css_cache) {
+			unlink($css_cache);
+		}
+		log_warning("setup", "Cache cleared");
 	}
 
 	public function onUserBlockBuilding(UserBlockBuildingEvent $event) {