Home
last modified time | relevance | path

Searched refs:file_extension (Results 1 – 1 of 1) sorted by relevance

/developtools/smartperf_host/ide/server/
DsmarperfServer.py184 file_extension = os.path.splitext(file_path)[1]
187 file_extension = '.html'
194 self.send_header('Content-type', get_content_type(file_extension))
224 def get_content_type(file_extension): argument
225 if file_extension == '.js':
227 if file_extension == '.wasm':
229 if file_extension == '.json':
231 if file_extension == '.html':
233 if file_extension == '.svg':