cvs: phpdoc /scripts revcheck.php
| From: | Nuno Lopes | Date: | Fri, 10 Feb 2006 10:26:14 +0000 |
| Subject: | cvs: phpdoc /scripts revcheck.php | ||
| Groups: | php.doc | ||
| Request: | Send a blank email to phpdoc+get-969371891@lists.php.net to get a copy of this message | ||
nlopess Fri Feb 10 10:26:14 2006 UTC
Modified files:
/phpdoc/scripts revcheck.php
Log:
fix bug reported by jsgroupil: the table header was repeated in some special cases (files tables)
http://cvs.php.net/viewcvs.cgi/phpdoc/scripts/revcheck.php?r1=1.56&r2=1.57&diff_format=u
Index: phpdoc/scripts/revcheck.php
diff -u phpdoc/scripts/revcheck.php:1.56 phpdoc/scripts/revcheck.php:1.57
--- phpdoc/scripts/revcheck.php:1.56 Sun Feb 5 22:40:20 2006
+++ phpdoc/scripts/revcheck.php Fri Feb 10 10:26:14 2006
@@ -836,7 +836,7 @@
END_OF_MULTILINE;
// This was the previous directory [first]
- $prev_dir = $new_dir = $DOCDIR."en";
+ $prev_dir = false;
// Go through all files collected
foreach ($files_status as $num => $file) {
@@ -864,14 +864,16 @@
$new_dir = dirname($file["full_name"]);
// If this is a new directory, put out old dir lines
- if ($new_dir != $prev_dir && isset($lines)) {
- echo $prev_diplay_dir;
- echo " ($line_number)</th></tr>";
- echo $lines;
-
- $lines = '';
- $line_number = 0;
-
+ if ($new_dir !== $prev_dir) {
+ if (isset($lines)) {
+ echo $prev_diplay_dir;
+ echo " ($line_number)</th></tr>";
+ echo $lines;
+ }
+
+ $lines = '';
+ $line_number = 0;
+
// Store the new actual directory
$prev_dir = $new_dir;
}