Move the startup file
This commit is contained in:
parent
80f03aac18
commit
1ae323fa5e
2 changed files with 10 additions and 7 deletions
3
.gitignore
vendored
3
.gitignore
vendored
|
@ -8,5 +8,8 @@
|
||||||
*.typedattempt
|
*.typedattempt
|
||||||
*.untyped
|
*.untyped
|
||||||
|
|
||||||
|
# Compiled
|
||||||
|
compiled
|
||||||
|
|
||||||
# Personal
|
# Personal
|
||||||
/config.txt
|
/config.txt
|
||||||
|
|
|
@ -8,12 +8,12 @@
|
||||||
(prefix-in lift: web-server/dispatchers/dispatch-lift)
|
(prefix-in lift: web-server/dispatchers/dispatch-lift)
|
||||||
(prefix-in filter: web-server/dispatchers/dispatch-filter)
|
(prefix-in filter: web-server/dispatchers/dispatch-filter)
|
||||||
(prefix-in files: web-server/dispatchers/dispatch-files)
|
(prefix-in files: web-server/dispatchers/dispatch-files)
|
||||||
"config.rkt"
|
"src/config.rkt"
|
||||||
"page-category.rkt"
|
"src/page-category.rkt"
|
||||||
"page-not-found.rkt"
|
"src/page-not-found.rkt"
|
||||||
"page-proxy.rkt"
|
"src/page-proxy.rkt"
|
||||||
"page-wiki.rkt"
|
"src/page-wiki.rkt"
|
||||||
"page-search.rkt")
|
"src/page-search.rkt")
|
||||||
|
|
||||||
(define mime-types
|
(define mime-types
|
||||||
(hash #".css" #"text/css"
|
(hash #".css" #"text/css"
|
||||||
|
@ -30,7 +30,7 @@
|
||||||
(filter:make #rx"^/static/" (files:make
|
(filter:make #rx"^/static/" (files:make
|
||||||
#:url->path
|
#:url->path
|
||||||
(lambda (u)
|
(lambda (u)
|
||||||
((make-url->path "../static")
|
((make-url->path "static")
|
||||||
(struct-copy url u [path (cdr (url-path u))])))
|
(struct-copy url u [path (cdr (url-path u))])))
|
||||||
#:path->mime-type
|
#:path->mime-type
|
||||||
(lambda (u)
|
(lambda (u)
|
Loading…
Reference in a new issue