[GitHub] tomcat pull request: Change response character encoding

2015-12-18 Thread wenjiezhang2013
Github user wenjiezhang2013 commented on the pull request: https://github.com/apache/tomcat/pull/25#issuecomment-165765309 Here is the document for this filter, http://tomcat.apache.org/tomcat-7.0-doc/config/filter.html#Add_Default_Character_Set_Filter, base on the code, this

[GitHub] tomcat pull request: Change response character encoding

2015-12-21 Thread wenjiezhang2013
Github user wenjiezhang2013 commented on the pull request: https://github.com/apache/tomcat/pull/25#issuecomment-166470358 @violetagg is right, it clearly says so from the code ```java @Override public void setContentType(String ct) { if

[GitHub] tomcat pull request: Change response character encoding

2015-12-22 Thread wenjiezhang2013
Github user wenjiezhang2013 commented on the pull request: https://github.com/apache/tomcat/pull/25#issuecomment-166700042 If you read ```The HTTP specification is clear that if no character set is specified for media sub-types of the "text" media type, the ISO-8859-1 cha