changeset 12983 | fbbf4f0db8f0 |
parent 12982 | 088d278c75b5 |
child 12984 | 6ebad8e16b3b |
--- a/teal-src/net/http/files.d.tl Fri Mar 17 19:38:39 2023 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,14 +0,0 @@ -local record serve_options - path : string - mime_map : { string : string } - cache_size : integer - cache_max_file_size : integer - index_files : { string } - directory_index : boolean -end - -local record http_files - serve : function(serve_options|string) : function -end - -return http_files