Slava Pestov 97e6ac1c50 http: turns out we do need to handle port number in host header, and client needs to send it but only for non-default ports, since sending it for the default port breaks Twitter's HTTP server (reported by John Benediktsson)		2010-08-20 18:28:50 -07:00
..
cgi	docs: change $subsection to $subsections	2009-10-02 12:15:48 -04:00
dispatchers	docs: change $subsection to $subsections	2009-10-02 12:15:48 -04:00
filters	docs: change $subsection to $subsections	2009-10-02 12:15:48 -04:00
redirection	docs: change $subsection to $subsections	2009-10-02 12:15:48 -04:00
remapping	docs: change $subsection to $subsections	2009-10-02 12:15:48 -04:00
responses	http.server: decouple charset header from encoding used to send the data, and serve text files as UTF-8 by default	2010-03-13 19:07:35 +13:00
rewrite	docs: change $subsection to $subsections	2009-10-02 12:15:48 -04:00
static	http.server: decouple charset header from encoding used to send the data, and serve text files as UTF-8 by default	2010-03-13 19:07:35 +13:00
authors.txt	Move web framework to basis	2008-09-04 18:15:13 -05:00
server-docs.factor	http.server: more doc fixes	2010-06-28 17:42:48 -04:00
server-tests.factor	http.server: decouple charset header from encoding used to send the data, and serve text files as UTF-8 by default	2010-03-13 19:07:35 +13:00
server.factor	http: turns out we do need to handle port number in host header, and client needs to send it but only for non-default ports, since sending it for the default port breaks Twitter's HTTP server (reported by John Benediktsson)	2010-08-20 18:28:50 -07:00
summary.txt	Move web framework to basis	2008-09-04 18:15:13 -05:00
tags.txt	More tags	2008-09-24 00:45:28 -05:00