From ec269fc1cf18e235a543cff9d3a16ca4a1d2bcd8 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Thu, 8 Nov 2012 14:20:09 -0700 Subject: [PATCH] Fixing error during initial upload in P2 PNS --- collects/meta/planet2-index/official/main.rkt | 22 ++++++++++--------- 1 file changed, 12 insertions(+), 10 deletions(-) diff --git a/collects/meta/planet2-index/official/main.rkt b/collects/meta/planet2-index/official/main.rkt index 7c3f34a7e9..38bec33d84 100644 --- a/collects/meta/planet2-index/official/main.rkt +++ b/collects/meta/planet2-index/official/main.rkt @@ -592,16 +592,18 @@ ([class "package"]) (form ([action ,(embed/url form-handler)] [method "post"]) ,the-table) - (div ([class "install"]) - "Install this package with:" (br) (br) - (tt "raco pkg install " ,pkg-name) (br) (br) - "or, by evaluating:" (br) - (pre - ,(format "~a\n~a\n~a\n" - "#lang racket" - "(require planet2)" - (format "(install \"~a\")" - pkg-name))))))))) + ,(if pkg-name + `(div ([class "install"]) + "Install this package with:" (br) (br) + (tt "raco pkg install " ,pkg-name) (br) (br) + "or, by evaluating:" (br) + (pre + ,(format "~a\n~a\n~a\n" + "#lang racket" + "(require planet2)" + (format "(install \"~a\")" + pkg-name)))) + "")))))) (define (page/manage/update req) (update-checksums