From 0ede891de92dad1bcd247033b1350c632813ccff Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Sat, 8 Dec 2012 12:07:00 -0700 Subject: [PATCH] Lazily reading Github API keys --- collects/meta/planet2-index/official/main.rkt | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/collects/meta/planet2-index/official/main.rkt b/collects/meta/planet2-index/official/main.rkt index 7bb37784ac..cf46fd7c3f 100644 --- a/collects/meta/planet2-index/official/main.rkt +++ b/collects/meta/planet2-index/official/main.rkt @@ -43,8 +43,11 @@ (build-path root "secret.key"))) (define users-path (build-path root "users")) (make-directory* users-path) -(define client_id (file->string (build-path root "client_id"))) -(define client_secret (file->string (build-path root "client_secret"))) + +(define (client_id) + (file->string (build-path root "client_id"))) +(define (client_secret) + (file->string (build-path root "client_secret"))) (module+ main (define users-old-path (build-path root "users.old")) @@ -679,8 +682,8 @@ (define new-checksum (package-url->checksum (package-ref i 'source) - (list (cons 'client_id client_id) - (cons 'client_secret client_secret)))) + (list (cons 'client_id (client_id)) + (cons 'client_secret (client_secret))))) (package-begin (define* i (hash-set i 'checksum