From 1d8be6c9f0402f65034ba68581860ff22e719e23 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Fri, 4 Oct 2013 13:20:59 -0600 Subject: [PATCH] clean --- pkgs/plt-services/meta/pkg-index/official/main.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/pkgs/plt-services/meta/pkg-index/official/main.rkt b/pkgs/plt-services/meta/pkg-index/official/main.rkt index 103fb34e1b..55ad024f9a 100644 --- a/pkgs/plt-services/meta/pkg-index/official/main.rkt +++ b/pkgs/plt-services/meta/pkg-index/official/main.rkt @@ -1132,8 +1132,7 @@ #:ssl-cert (build-path root "server-cert.pem") #:ssl-key (build-path root "private-key.pem") #:extra-files-paths - (list (build-path src "static") - (build-path root "static")) + (list (build-path src "static")) #:servlet-regexp #rx"" #:port port))