cvs: peardoc / make-partial.php
| From: | anatoly techtonik | Date: | Tue, 13 Sep 2005 22:46:09 +0000 |
| Subject: | cvs: peardoc / make-partial.php | ||
| Groups: | php.pear.doc | ||
| Request: | Send a blank email to pear-doc+get-6809@lists.php.net to get a copy of this message | ||
techtonik Tue Sep 13 18:46:09 2005 EDT
Modified files:
/peardoc make-partial.php
Log:
* restore modification time of manual.xml.in to not confuse CVS
http://cvs.php.net/diff.php/peardoc/make-partial.php?r1=1.6&r2=1.7&ty=u
Index: peardoc/make-partial.php
diff -u peardoc/make-partial.php:1.6 peardoc/make-partial.php:1.7
--- peardoc/make-partial.php:1.6 Tue Sep 13 18:35:17 2005
+++ peardoc/make-partial.php Tue Sep 13 18:46:08 2005
@@ -12,7 +12,7 @@
*
* @author Martin Jansen <mj@php.net>
* @copyright 2005 The PEAR Group
- * @version CVS: $Id: make-partial.php,v 1.6 2005/09/13 22:35:17 techtonik Exp $
+ * @version CVS: $Id: make-partial.php,v 1.7 2005/09/13 22:46:08 techtonik Exp $
*/
if (substr(PHP_VERSION, 0, 1) == "4") {
@@ -70,7 +70,7 @@
}
copy("manual.xml.in", "manual.xml.in.partial-backup");
-register_shutdown_function("restoreFile");
+register_shutdown_function("restoreFile", filemtime("manual.xml.in"));
$newFile = "";
$partStack = array();
@@ -168,13 +168,14 @@
/**
* Restores the original manual.xml.in file
*/
-function restoreFile() {
+function restoreFile($savedmtime) {
if (!is_file("manual.xml.in.partial-backup")) {
return;
}
unlink("manual.xml.in");
rename("manual.xml.in.partial-backup", "manual.xml.in");
+ touch("manual.xml.in", $savedmtime);
}
/**