SHA1 Hash:	02f09cdd6c1bbea61002c82628bdf05629211207
Date:	2008-11-09 16:23:30
User:	drh
Comment:	Add the http-port setting used to specify the default TCP/IP port for the built-in webserver. Ticket 7168128e09.
Timelines:	ancestors | descendants | both | trunk
Other Links:	files | ZIP archive | manifest

• branch=trunk inherited from [a28c83647d]
• sym-trunk inherited from [a28c83647d]

Modified src/db.c from [3dffe034aa] to [47e57e78e7].

@@ -1289,10 +1289,13 @@
 **    diff-command     External command to run when performing a diff.
 **                     If undefined, the internal text diff will be used.
 **
 **    editor           Text editor command used for check-in comments.
 **
+**    http-port        The TCP/IP port number to use by the "server"
+**                     and "ui" commands.  Default: 8080
+**
 **    gdiff-command    External command to run when performing a graphical
 **                     diff. If undefined, text diff will be used.
 **
 **    localauth        If enabled, require that HTTP connections from
 **                     127.0.0.1 be authenticated by password.  If
@@ -1320,10 +1323,11 @@
   static const char *azName[] = {
     "autosync",
     "diff-command",
     "editor",
     "gdiff-command",
+    "http-port",
     "localauth",
     "clearsign",
     "pgp-command",
     "proxy",
     "web-browser",

Modified src/main.c from [a407a1b98e] to [7ce5037b83].

@@ -714,20 +714,20 @@
   g.thTrace = find_option("th-trace", 0, 0)!=0;
   if( g.thTrace ){
     blob_zero(&g.thLog);
   }
   zPort = find_option("port", "P", 1);
-  if( zPort ){
-    iPort = atoi(zPort);
-  }else{
-    iPort = 8080;
-  }
   if( g.argc!=2 && g.argc!=3 ) usage("?REPOSITORY?");
   if( g.argc==2 ){
     db_must_be_within_tree();
   }else{
     db_open_repository(g.argv[2]);
+  }
+  if( zPort ){
+    iPort = atoi(zPort);
+  }else{
+    iPort = db_get_int("http-port", 8080);
   }
 #ifndef __MINGW32__
   /* Unix implementation */
   if( g.argv[1][0]=='u' ){
 #if !defined(__DARWIN__) && !defined(__APPLE__)