From e4398eef54f43b542336cd72888ee2831ae1efea Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 9 Nov 2014 17:20:44 -0500 Subject: [PATCH] Add .fetchindex signal for refreshing the package index --- src/main.rkt | 1 + src/signals.rkt | 3 +++ 2 files changed, 4 insertions(+) diff --git a/src/main.rkt b/src/main.rkt index 82e7080..146aa45 100644 --- a/src/main.rkt +++ b/src/main.rkt @@ -2,6 +2,7 @@ (module+ main (require "entrypoint.rkt") + (void (make-entry-point 'refresh-packages! "packages.rkt")) (start-service #:reloadable? (getenv "SITE_RELOADABLE") (make-entry-point 'request-handler "site.rkt") (make-entry-point 'on-continuation-expiry "site.rkt"))) diff --git a/src/signals.rkt b/src/signals.rkt index 5f55d63..6adfd0b 100644 --- a/src/signals.rkt +++ b/src/signals.rkt @@ -29,5 +29,8 @@ (poll-signal "../signals/.reload" "Reload signal received - attempting to reload code" (lambda () (reload!))) + (poll-signal "../signals/.fetchindex" + "Index refresh signal received" + (lambda () ((entry-point-value (lookup-entry-point 'refresh-packages!))))) (sleep 0.5) (loop)))))