0245d1fa8a8d75c34338215d16488271543d763f
1 # This file is part of NIT ( http://www.nitlanguage.org ).
3 # Copyright 2013 Jean-Philippe Caissy <jpcaissy@piji.ca>
4 # Copyright 2014 Alexis Laferrière <alexis.laf@xymus.net>
6 # Licensed under the Apache License, Version 2.0 (the "License");
7 # you may not use this file except in compliance with the License.
8 # You may obtain a copy of the License at
10 # http://www.apache.org/licenses/LICENSE-2.0
12 # Unless required by applicable law or agreed to in writing, software
13 # distributed under the License is distributed on an "AS IS" BASIS,
14 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15 # See the License for the specific language governing permissions and
16 # limitations under the License.
18 # Provides the `FileServer` action, which is a standard and minimal file server
27 # Returns a `String` copy of `self` without any of the prefixed '/'s
31 # assert "/home/".strip_start_slashes == "home/"
32 # assert "////home/".strip_start_slashes == "home/"
33 # assert "../home/".strip_start_slashes == "../home/"
34 fun strip_start_slashes
: String
36 for i
in chars
.length
.times
do if chars
[i
] != '/' then return substring_from
(i
)
41 # A simple file server
45 # Root folder of `self` file system
52 # Simplify the root path as each file requested will also be simplified
53 root
= root
.simplify_path
55 # Make sure the root ends with '/', this makes a difference in the security
56 # check on each file access.
62 # Error page template for a given `code`
63 fun error_page
(code
: Int): Writable do return new ErrorTemplate(code
)
65 # Header of each directory page
66 var header
: nullable Writable = null is writable
68 # Custom JavaScript code added within a `<script>` block to each page
69 var javascript_header
: nullable Writable = null is writable
71 # Caching attributes of served files, used as the `cache-control` field in response headers
72 var cache_control
= "public, max-age=360" is writable
74 # Show directory listing?
75 var show_directory_listing
= true is writable
77 redef fun answer
(request
, turi
)
81 var local_file
= root
.join_path
(turi
.strip_start_slashes
)
82 local_file
= local_file
.simplify_path
86 # This make sure that the requested file is within the root folder.
87 if (local_file
+ "/").has_prefix
(root
) then
89 if local_file
.file_exists
then
90 if local_file
.file_stat
.is_dir
then
91 # If we target a directory without an ending `/`,
92 # redirect to the directory ending with `/`.
94 if not uri
.is_empty
and uri
.chars
.last
!= '/' then
95 return answer_redirection
(request
.uri
+ "/")
98 # Show index file instead of the directory listing
99 # only if `index.html` or `index.htm` is available
100 var index_file
= local_file
.join_path
("index.html")
101 if index_file
.file_exists
then
102 local_file
= index_file
104 index_file
= local_file
.join_path
("index.htm")
105 if index_file
.file_exists
then local_file
= index_file
109 var is_dir
= local_file
.file_stat
.is_dir
110 if show_directory_listing
and is_dir
then
111 response
= answer_directory_listing
(request
, turi
, local_file
)
112 else if not is_dir
then # It's a single file
113 response
= answer_file
(local_file
)
114 else response
= new HttpResponse(404)
115 else response
= new HttpResponse(404)
116 else response
= new HttpResponse(403)
118 if response
.status_code
!= 200 then
119 var tmpl
= error_page
(response
.status_code
)
120 if header
!= null and tmpl
isa ErrorTemplate then tmpl
.header
= header
121 response
.body
= tmpl
.to_s
127 # Answer a 303 redirection to `location`.
128 fun answer_redirection
(location
: String): HttpResponse do
129 var response
= new HttpResponse(303)
130 response
.header
["Location"] = location
134 # Build a reponse containing a single `local_file`.
136 # Returns a 404 error if local_file does not exists.
137 fun answer_file
(local_file
: String): HttpResponse do
138 if not local_file
.file_exists
then return new HttpResponse(404)
140 var response
= new HttpResponse(200)
141 response
.files
.add local_file
143 # Set Content-Type depending on the file extension
144 var ext
= local_file
.file_extension
146 var media_type
= media_types
[ext
]
147 if media_type
!= null then
148 response
.header
["Content-Type"] = media_type
149 else response
.header
["Content-Type"] = "application/octet-stream"
153 response
.header
["cache-control"] = cache_control
157 # Answer with a directory listing for files within `local_files`.
158 fun answer_directory_listing
(request
: HttpRequest, turi
, local_file
: String): HttpResponse do
159 # Show the directory listing
161 var files
= local_file
.files
163 alpha_comparator
.sort files
165 var links
= new Array[String]
166 if turi
.length
> 1 then
167 var path
= (request
.uri
+ "/..").simplify_path
168 links
.add
"<a href=\"{path}/\
">..</a>"
171 var local_path
= local_file
.join_path
(file
).simplify_path
172 var web_path
= file
.simplify_path
173 var file_stat
= local_path
.file_stat
174 if file_stat
!= null and file_stat
.is_dir
then web_path
= web_path
+ "/"
175 links
.add
"<a href=\"{web_path}\
">{file}</a>"
178 var header
= self.header
180 if header
!= null then
181 header_code
= header
.write_to_string
182 else header_code
= ""
184 var response
= new HttpResponse(200)
188 <meta charset="utf-8">
189 <meta http-equiv="X-UA-Compatible" content="IE=edge">
190 <link rel="stylesheet" href="//maxcdn.bootstrapcdn.com/bootstrap/3.2.0/css/bootstrap.min.css">
192 {{{javascript_header or else ""}}}
194 <title>{{{title}}}</title>
198 <div class="container">
201 <li>{{{links.join("</li>\n\t\t\t<li>")}}}</li>
207 response
.header
["Content-Type"] = media_types
["html"].as(not null)