[web doctype] don't give through reset_xmldecl to avoid double deprecation warning
--- a/web/request.py Tue Jul 02 09:35:58 2013 +0200
+++ b/web/request.py Tue Jul 02 09:36:20 2013 +0200
@@ -922,7 +922,7 @@
if reset_xmldecl is not None:
warn('[3.17] reset_xmldecl is deprecated as we only serve html',
DeprecationWarning, stacklevel=2)
- self.main_stream.set_doctype(doctype, reset_xmldecl)
+ self.main_stream.set_doctype(doctype)
# page data management ####################################################