Ticket #513: download_all.php.patch

doc/download_all.php

@@ -129 +129 @@
     }
     list_bar($long_name);
     foreach ($p["versions"] as $i=>$v) {
-        if ($min_version && strcmp($v['num'], $min_version)<0) continue;
-        if ($max_version && strcmp($v['num'], $max_version)>0) continue;
+        if ($min_version && version_compare($v['num'], $min_version, "<")) continue;
+        if ($max_version && version_compare($v['num'], $max_version, ">")) continue;
         if (!$dev && is_dev($v)) continue;
         show_version($short_name, $i, $v);
     }
@@ -208 +208 @@
     echo "
         <p>
         Download information can be restricted by
-        platform and/or version number, 
+        platform and/or version number,
         and can be obtained in XML format.
         <a href=trac/wiki/DownloadInfo>Details</a>.
     ";