force scripts refresh on every reload

[tt-rss.git] / prefs.php
diff --git a/prefs.php b/prefs.php

index 988367861ea17043ed29e896cd182f016ef9890f..4cd1cabe9d599106e4820b2e96f5cf50896be186 100644 (file)
--- a/prefs.php
+++ b/prefs.php
@@ -1,15 +1,21 @@
  <?
-       session_start();
+       require_once "functions.php"; 
+
+       basic_nosid_redirect_check();
+
+       require_once "sessions.php";
  
         require_once "sanity_check.php";
         require_once "version.php"; 
         require_once "config.php";
         require_once "db-prefs.php";
-       require_once "functions.php"; 
  
         $link = db_connect(DB_HOST, DB_USER, DB_PASS, DB_NAME); 
  
         login_sequence($link);
+
+       $dt_add = time();
+
  ?>
  <html>
  <head>
@@ -38,8 +44,8 @@
         <? } ?>
  
         
-       <script type="text/javascript" src="functions.js"></script>
-       <script type="text/javascript" src="prefs.js"></script>
+       <script type="text/javascript" src="functions.js?<?= $dt_add ?>"></script>
+       <script type="text/javascript" src="prefs.js?<?= $dt_add ?>"></script>
  
         <!--[if gte IE 5.5000]>
                 <script type="text/javascript" src="pngfix.js"></script>