DevWiki/websocket-sharp
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

[Modify] Polish it

Browse Source
This commit is contained in:
sta 2020-02-23 22:02:39 +09:00
parent aeb45d5eb6
commit b430c71bff
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
websocket-sharp/Net/WebHeaderCollection.cs
View File

@ -575,7 +575,8 @@ namespace WebSocketSharp.Net
/// An element with the specified name isn't found in <paramref name="serializationInfo"/>. /// An element with the specified name isn't found in <paramref name="serializationInfo"/>.
/// </exception> /// </exception>
protected WebHeaderCollection ( protected WebHeaderCollection (
SerializationInfo serializationInfo, StreamingContext streamingContext) SerializationInfo serializationInfo, StreamingContext streamingContext
)
{ {
if (serializationInfo == null) if (serializationInfo == null)
throw new ArgumentNullException ("serializationInfo"); throw new ArgumentNullException ("serializationInfo");
@ -585,10 +586,12 @@ namespace WebSocketSharp.Net
_state = (HttpHeaderType) serializationInfo.GetInt32 ("State"); _state = (HttpHeaderType) serializationInfo.GetInt32 ("State");
var cnt = serializationInfo.GetInt32 ("Count"); var cnt = serializationInfo.GetInt32 ("Count");
for (var i = 0; i < cnt; i++) { for (var i = 0; i < cnt; i++) {
base.Add ( base.Add (
serializationInfo.GetString (i.ToString ()), serializationInfo.GetString (i.ToString ()),
serializationInfo.GetString ((cnt + i).ToString ())); serializationInfo.GetString ((cnt + i).ToString ())
);
} }
} }
catch (SerializationException ex) { catch (SerializationException ex) {