change name of server-extras folder

11 years ago · b7fb8fe034
parent 2fe9d8029e
commit b7fb8fe034
7 changed files with 1 additions and 4338 deletions
--- a/pollen-server-extras/pollen
+++ b/pollen-server-extras/pollen
--- a/pollen-server-extras/404.html
+++ b/pollen-server-extras/404.html
--- a/pollen-server-extras/error.css
+++ b/pollen-server-extras/error.css
--- a/pollen-server-extras/fallback.html.pt
+++ b/pollen-server-extras/fallback.html.pt
--- a/pollen-server-extras/poldash.css
+++ b/pollen-server-extras/poldash.css
--- a/pollen-server-extras/pollen.svg
+++ b/pollen-server-extras/pollen.svg
--- a/server.rkt
+++ b/server.rkt
@ -25,7 +25,7 @@
 (message "Ready to rock")
 (world:current-module-root (apply build-path (drop-right (explode-path (current-contract-region)) 1)))
-(world:current-server-extras-path (build-path (world:current-module-root) "pollen-server-extras"))
+(world:current-server-extras-path (build-path (world:current-module-root) "server-extras"))
 (parameterize ([world:current-module-root (world:current-module-root)]
               [world:current-server-extras-path (world:current-server-extras-path)]