teal-src/net/http/files.d.tl
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