From 0e4db0a7f0f2d82c7a50309467a503d5cb95983b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 23 Jul 2014 10:42:02 +0100 Subject: [PATCH] web pages: fix platform sorting on download pages Fix use of wrong array element during sort, where using the wrong element caused "Windows source" to be sorted before "Windows (x86, 32-bit)". (The wrong-element bug was introduced with changed to support the button that downloads directly from the default mirror.) Closes PR 14655 and PR 14656 --- pkgs/plt-services/meta/new-web/download/download-pages.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/plt-services/meta/new-web/download/download-pages.rkt b/pkgs/plt-services/meta/new-web/download/download-pages.rkt index db7938d963..406d19a267 100644 --- a/pkgs/plt-services/meta/new-web/download/download-pages.rkt +++ b/pkgs/plt-services/meta/new-web/download/download-pages.rkt @@ -290,8 +290,8 @@ var ord1 = getOrder(opt1[0]), ord2 = getOrder(opt2[0]); if (ord1 < ord2) return -1; else if (ord1 > ord2) return +1; - else if (opt1[2] < opt2[2]) return -1; - else if (opt1[2] > opt2[2]) return +1; + else if (opt1[4] < opt2[4]) return -1; + else if (opt1[4] > opt2[4]) return +1; else return 0; } // sort the options, need to use a temporary array