Changeset 1516

Timestamp:

07/05/06 22:41:43 (2 years ago)

Author:

mbonetti

Message:

EXPERIMENTAL: store the last update date in the properties table, instead of
running a pointless query.

Location:

trunk/gregarius

Files:

• cls/update.php (modified) (4 diffs)
• util.php (modified) (1 diff)

trunk/gregarius/cls/update.php

@@ -105 +105 @@
             }
         }
+        
+        setProperty('__meta__','meta.lastupdate','misc',time());
+        
         if (count($newIds) > 0) {
             rss_invalidate_cache();
@@ -167 +170 @@
         rss_set_hook('rss.plugins.bodystart', "pushHeaderCallBack");
         rss_set_hook('rss.plugins.bodyend', "pushFooterCallBack");
+        
+        ob_implicit_flush();
     }
 
@@ -396 +401 @@
     echo "\n".PUSH_BOUNDARY."\n";
     echo "Content-Type: text/html\n\n";
+    flush();
 }
 
@@ -412 +418 @@
     echo "\n".PUSH_BOUNDARY."\n";
     echo "WARNING: YOUR BROWSER DOESN'T SUPPORT THIS SERVER-PUSH TECHNOLOGY.\n";
+    
+    flush();
 }
 

trunk/gregarius/util.php

@@ -30 +30 @@
 
 function getLastModif() {
-    static $ret;
-    if ($ret == 0) {
-        $res = rss_query("select unix_timestamp(max(added)) as max_added from ".getTable("item"));
-        list ($ret) = rss_fetch_row($res);
-    }
-    return $ret;
+    return getProperty('__meta__','meta.lastupdate');
 }