Differences From Artifact [8dd56b0a12]:

• File src/sync.c — part of check-in [4e683ef07b] at 2008-05-05 17:24:38 on branch trunk — Add the ability to modify global settings (such as the proxy setting) even when there are no repositories defined. (user: drh size: 4378)

To Artifact [f8524fbcd7]:

• File src/sync.c — part of check-in [f652599003] at 2008-05-06 12:24:22 on branch trunk — Add the --proxy command-line option that can be used to enable or disable an http proxy on a case by case basis. (user: drh size: 4401)

69
70
71
72
73
74
75

76
77
78
79
80
81
82

** This routine processes the command-line argument for push, pull,
** and sync.  If a command-line argument is given, that is the URL
** of a server to sync against.  If no argument is given, use the
** most recently synced URL.  Remember the current URL for next time.
*/
static void process_sync_args(void){
  const char *zUrl = 0;

  db_find_and_open_repository(1);
  if( g.argc==2 ){
    zUrl = db_get("last-sync-url", 0);
  }else if( g.argc==3 ){
    zUrl = g.argv[2];
  }
  if( zUrl==0 ){

>

69
70
71
72
73
74
75
76
77
78
79
80
81
82
83

** This routine processes the command-line argument for push, pull,
** and sync.  If a command-line argument is given, that is the URL
** of a server to sync against.  If no argument is given, use the
** most recently synced URL.  Remember the current URL for next time.
*/
static void process_sync_args(void){
  const char *zUrl = 0;
  url_proxy_options();
  db_find_and_open_repository(1);
  if( g.argc==2 ){
    zUrl = db_get("last-sync-url", 0);
  }else if( g.argc==3 ){
    zUrl = g.argv[2];
  }
  if( zUrl==0 ){