equal
deleted
inserted
replaced
154 {"max_frame_size", Integer.toString(SettingsFrame.MAX_FRAME_SIZE)}, |
154 {"max_frame_size", Integer.toString(SettingsFrame.MAX_FRAME_SIZE)}, |
155 {"max_header_list_size", Integer.toString(SettingsFrame.MAX_HEADER_LIST_SIZE)} |
155 {"max_header_list_size", Integer.toString(SettingsFrame.MAX_HEADER_LIST_SIZE)} |
156 }; |
156 }; |
157 |
157 |
158 private SettingsFrame getServerSettingProperties() { |
158 private SettingsFrame getServerSettingProperties() { |
159 SettingsFrame s = SettingsFrame.getDefaultSettings(); |
159 SettingsFrame s = SettingsFrame.defaultRFCSettings(); |
160 if (properties == null) |
160 if (properties == null) |
161 return s; |
161 return s; |
162 for (int i=0; i<propIDs.length; i++) { |
162 for (int i=0; i<propIDs.length; i++) { |
163 String key = propIDs[i][0]; |
163 String key = propIDs[i][0]; |
164 String numS = propIDs[i][1]; |
164 String numS = propIDs[i][1]; |