update dist
This commit is contained in:
		
							parent
							
								
									23a201cc84
								
							
						
					
					
						commit
						1c675d4873
					
				
					 1 changed files with 8 additions and 1 deletions
				
			
		
							
								
								
									
										9
									
								
								dist.rkt
									
										
									
									
									
								
							
							
						
						
									
										9
									
								
								dist.rkt
									
										
									
									
									
								
							| 
						 | 
				
			
			@ -3,6 +3,7 @@
 | 
			
		|||
         "src/config.rkt"
 | 
			
		||||
         "src/dispatcher-tree.rkt")
 | 
			
		||||
 | 
			
		||||
(require (only-in "src/page-captcha.rkt" page-captcha page-captcha-image page-captcha-verify))
 | 
			
		||||
(require (only-in "src/page-category.rkt" page-category))
 | 
			
		||||
(require (only-in "src/page-global-search.rkt" page-global-search))
 | 
			
		||||
(require (only-in "src/page-home.rkt" page-home))
 | 
			
		||||
| 
						 | 
				
			
			@ -15,8 +16,9 @@
 | 
			
		|||
(require (only-in "src/page-static.rkt" static-dispatcher))
 | 
			
		||||
(require (only-in "src/page-static-archive.rkt" page-static-archive))
 | 
			
		||||
(require (only-in "src/page-subdomain.rkt" subdomain-dispatcher))
 | 
			
		||||
(require (only-in "src/page-wiki.rkt" page-wiki))
 | 
			
		||||
(require (only-in "src/page-wiki.rkt" page-wiki page-wiki-with-data))
 | 
			
		||||
(require (only-in "src/page-wiki-offline.rkt" page-wiki-offline))
 | 
			
		||||
(require (only-in "src/page-wiki-jsonp.rkt" page-wiki-jsonp))
 | 
			
		||||
(require (only-in "src/page-file.rkt" page-file))
 | 
			
		||||
 | 
			
		||||
(serve/launch/wait
 | 
			
		||||
| 
						 | 
				
			
			@ -27,6 +29,9 @@
 | 
			
		|||
 (λ (quit)
 | 
			
		||||
   (dispatcher-tree
 | 
			
		||||
    ; order of these does not matter
 | 
			
		||||
    page-captcha
 | 
			
		||||
    page-captcha-image
 | 
			
		||||
    page-captcha-verify
 | 
			
		||||
    page-category
 | 
			
		||||
    page-global-search
 | 
			
		||||
    page-home
 | 
			
		||||
| 
						 | 
				
			
			@ -38,6 +43,8 @@
 | 
			
		|||
    page-static-archive
 | 
			
		||||
    page-wiki
 | 
			
		||||
    page-wiki-offline
 | 
			
		||||
    page-wiki-with-data
 | 
			
		||||
    page-wiki-jsonp
 | 
			
		||||
    page-file
 | 
			
		||||
    redirect-wiki-home
 | 
			
		||||
    static-dispatcher
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue