146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
|
** Extra any proxy options from the command-line.
**
** --proxy URL|off
**
*/
void url_proxy_options(void){
zProxyOpt = find_option("proxy", 0, 1);
g.fNoSync = find_option("nosync", 0, 0)!=0;
}
/*
** If the "proxy" setting is defined, then change the URL to refer
** to the proxy server.
*/
void url_enable_proxy(const char *zMsg){
|
|
|
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
|
** Extra any proxy options from the command-line.
**
** --proxy URL|off
**
*/
void url_proxy_options(void){
zProxyOpt = find_option("proxy", 0, 1);
if( find_option("nosync",0,0) ) g.fNoSync = 1;
}
/*
** If the "proxy" setting is defined, then change the URL to refer
** to the proxy server.
*/
void url_enable_proxy(const char *zMsg){
|