cvs: php-master-web /scripts rest_render

bjori		Fri Jan 11 11:03:44 2008 UTC

  Modified files:              
    /php-master-web/scripts	rest_render 
  Log:
  Remove old cache files
  
  
http://cvs.php.net/viewvc.cgi/php-master-web/scripts/rest_render?r1=1.2&r2=1.3&diff_format=u
Index: php-master-web/scripts/rest_render
diff -u php-master-web/scripts/rest_render:1.2 php-master-web/scripts/rest_render:1.3
--- php-master-web/scripts/rest_render:1.2	Fri Dec 28 18:23:47 2007
+++ php-master-web/scripts/rest_render	Fri Jan 11 11:03:44 2008
@@ -1,5 +1,5 @@
 <?php /* vim: set noet ts=4 sw=4 ft=php: : */
-// $Id: rest_render,v 1.2 2007/12/28 18:23:47 bjori Exp $
+// $Id: rest_render,v 1.3 2008/01/11 11:03:44 bjori Exp $
 
 // usage: configure files to parse and render out of cvs.php.net
 // uses http://pear.horde.org/index.php?package=Text_reST
@@ -19,6 +19,7 @@
 
 	$base_url = 'http://cvs.php.net/viewvc.cgi/';
 
+	$filenames = array();
 	foreach ($urls as $rel_path) {
 		$url = $base_url.$rel_path.'?view=co';
 		$string = file_get_contents($url);
@@ -27,8 +28,13 @@
 
 		$formatter = Text_reST_Formatter::factory('html');
 
-		$filename = $rest_dir.str_replace('/', '_', $rel_path).'.rest';
+		$filenames[] = $filename = $rest_dir.str_replace('/', '_', $rel_path).'.rest';
 		file_put_contents($filename, $formatter->format($document));
 	}
+	// Remove old cache files
+	foreach(array_diff(glob($rest_dir."*.rest"), $filenames) as $old) {
+		echo "Removing old reST cache file: $old\n";
+		unlink($old);
+	}
 }