Javascript libs caching

[fa-stable.git] / admin / display_prefs.php

diff --git a/admin/display_prefs.php b/admin/display_prefs.php
index 3dd369eabfb9674c4894f511bbdfa1777f23dc6c..cafb4527dbced802e896b8553edb2e7e7a4c2ee0 100644 (file)
--- a/admin/display_prefs.php
+++ b/admin/display_prefs.php
@@ -25,7 +25,9 @@ if (isset($_POST['setprefs']))
                $_POST['theme'], $_POST['page_size']);
 
        language::set_language($_POST['language']);
-       
+
+       flush_dir($comp_path.'/'.user_company().'/js_cache');   
+
        if (user_theme() != $theme)
                reload_page("");