Diff
Not logged in

Differences From Artifact [1e3ccdf688]:

To Artifact [228859a2f1]:


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){