cvs: phpweb /include layout.inc
| From: | Hojtsy Gabor | Date: | Sun, 11 Mar 2001 11:03:31 +0000 |
| Subject: | cvs: phpweb /include layout.inc | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-4377@lists.php.net to get a copy of this message | ||
goba Sun Mar 11 03:03:31 2001 EDT
Modified files:
/phpweb/include layout.inc
Log:
Get download_link() to be actual....
Index: phpweb/include/layout.inc
diff -u phpweb/include/layout.inc:1.17 phpweb/include/layout.inc:1.18
--- phpweb/include/layout.inc:1.17 Sat Mar 10 03:16:51 2001
+++ phpweb/include/layout.inc Sun Mar 11 03:03:30 2001
@@ -1,5 +1,5 @@
<?php
-/* $Id: layout.inc,v 1.17 2001/03/10 11:16:51 goba Exp $ */
+/* $Id: layout.inc,v 1.18 2001/03/11 11:03:30 goba Exp $ */
# spacer()
@@ -111,9 +111,9 @@
function hdelim($color="#000000") {
if (!$color) {
- return '<HR noshade size="1">';
+ return '<hr noshade size="1">';
}
- return sprintf('<HR noshade size="1" color="%s">', $color );
+ return sprintf('<hr noshade size="1" color="%s">', $color );
}
@@ -146,21 +146,28 @@
# print a link for a downloadable file (including filesize)
#
-function download_link($file, $title) {
- global $filesizes;
+function download_link($file, $title, $size_in_link=false) {
+ global $filesizes, $server;
+
if ($tmp = strrchr($file, "/")) {
$local_file = substr($tmp, 1, strlen($tmp));
} else {
$file = "distributions/$file";
$local_file = $file;
}
- print_link($file, $title);
+
$size = @filesize($local_file)/1024;
- echo("<!-- file=$file localfile=$local_file size-$size-->\n");
- if ($size) {
- printf(" (%dKB)", $size);
+ echo("<!-- file=$file localfile=$local_file size-$size -->\n");
+
+ if ($size_in_link) { $extraparam = 'title="' . $size . '"'; }
+ else { $extraparam = false; }
+
+ print_link("http://www.php.net/do_download.php?download_file="
. $file . "&source_site=$server", $title, false, $extraparam);
+
+ if ($size && !$size_in_link) {
+ printf(" [%dKB]", $size);
} else if (isset($filesizes[$local_file])) {
- echo " (".$filesizes[$local_file].")";
+ echo " [".$filesizes[$local_file]."]";
}
}