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