corrade-vassal – Diff between revs 20 and 22
?pathlinks?
Rev 20 | Rev 22 | |||
---|---|---|---|---|
Line 5... | Line 5... | |||
5 | /////////////////////////////////////////////////////////////////////////// |
5 | /////////////////////////////////////////////////////////////////////////// |
|
Line 6... | Line 6... | |||
6 | |
6 | |
|
7 | using System; |
7 | using System; |
|
8 | using System.Drawing; |
8 | using System.Drawing; |
|
9 | using System.Linq; |
- | ||
10 | using System.Net; |
9 | using System.Linq; |
|
11 | using System.Net.Http.Headers; |
10 | using System.Net.Http.Headers; |
|
12 | using System.Net.Sockets; |
11 | using System.Net.Sockets; |
|
13 | using System.Reflection; |
12 | using System.Reflection; |
|
14 | using System.Threading; |
13 | using System.Threading; |
|
15 | using System.Windows.Forms; |
14 | using System.Windows.Forms; |
|
16 | using OpenMetaverse; |
15 | using OpenMetaverse; |
|
- | 16 | using wasSharp; |
||
Line 17... | Line 17... | |||
17 | using wasSharp; |
17 | using wasSharp.Web; |
|
18 | |
18 | |
|
19 | namespace Vassal |
19 | namespace Vassal |
|
20 | { |
20 | { |
|
Line 87... | Line 87... | |||
87 | break; |
87 | break; |
|
88 | default: |
88 | default: |
|
89 | mediaType = @"text/plain"; |
89 | mediaType = @"text/plain"; |
|
90 | break; |
90 | break; |
|
91 | } |
91 | } |
|
92 | Vassal.HTTPClient = new Web.wasHTTPClient(new ProductInfoHeaderValue(@"Vassal", Vassal.VASSAL_VERSION), mediaType, 60000); |
92 | Vassal.HTTPClient = new wasHTTPClient(new ProductInfoHeaderValue(@"Vassal", Vassal.VASSAL_VERSION), |
|
- | 93 | mediaType, 60000); |
||
93 | }; |
94 | }; |
|
Line 94... | Line 95... | |||
94 | |
95 | |
|
95 | private readonly Action SetUserConfiguration = () => |
96 | private readonly Action SetUserConfiguration = () => |
|
96 | { |
97 | { |
|
Line 138... | Line 139... | |||
138 | default: |
139 | default: |
|
139 | mediaType = @"text/plain"; |
140 | mediaType = @"text/plain"; |
|
140 | break; |
141 | break; |
|
141 | } |
142 | } |
|
142 | // Create HTTP Client |
143 | // Create HTTP Client |
|
143 | Vassal.HTTPClient = new Web.wasHTTPClient(new ProductInfoHeaderValue(@"Vassal", |
144 | Vassal.HTTPClient = new wasHTTPClient(new ProductInfoHeaderValue(@"Vassal", |
|
144 | Vassal.VASSAL_VERSION), mediaType, 60000); |
145 | Vassal.VASSAL_VERSION), mediaType, 60000); |
|
145 | }; |
146 | }; |
|
Line 146... | Line 147... | |||
146 | |
147 | |
|
147 | public SettingsForm() |
148 | public SettingsForm() |