| static private split ( String foo, String split ) : String[] | ||
| foo | String | |
| split | String | |
| return | String[] | |
void setProxy(String hosts, Proxy proxy)
{
String[] patterns = Util.split(hosts, ",");
if (proxies == null)
{
proxies = new System.Collections.ArrayList();
}
lock (proxies)
{
for (int index = 0; index < patterns.Length; index++)
{
string t = patterns[index];
if (proxy == null)
{
proxies[0] = null;
proxies[0] = System.Text.Encoding.Default.GetBytes(t);
}
else
{
proxies.Add(System.Text.Encoding.Default.GetBytes(t));
proxies.Add(proxy);
}
}
}
}
private void setProxy(String hosts, Proxy proxy)
{
String[] patterns = Util.split(hosts, ",");
if (proxies == null)
{
proxies = new ArrayList();
}
lock (proxies)
{
for (int i = 0; i < patterns.Length; i++)
{
if (proxy == null)
{
proxies[0] = null;
proxies[0] = Encoding.Default.GetBytes(patterns[i]);
}
else
{
proxies.Add(Encoding.Default.GetBytes(patterns[i]));
proxies.Add(proxy);
}
}
}
}
