From a909b73637186b49e24d56388acaf100fa669000 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Fri, 5 Aug 2016 12:04:56 -0700 Subject: [PATCH] fix project server route for pagetree to capture full path --- pollen/private/project-server.rkt | 2 +- pollen/private/ts.rktd | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pollen/private/project-server.rkt b/pollen/private/project-server.rkt index adc3e37..60b6652 100755 --- a/pollen/private/project-server.rkt +++ b/pollen/private/project-server.rkt @@ -15,7 +15,7 @@ (define (start-server) (define-values (pollen-servlet _) (dispatch-rules - [((? pagetree-source?)) route-dashboard] + [((string-arg) ... (? pagetree-source?)) route-dashboard] [("in" (string-arg) ...) route-in] [("out" (string-arg) ...) route-out] [else route-default])) diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index 9cf49ce..0815db8 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1469834090 +1470423896