# HG changeset patch
# User Richard Jones <richard@users.sourceforge.net>
# Date 1090895654 0
# Node ID 75d410d11a20bf6196ab8677c8c0360b160cf14b
# Parent  18e86941c950e9066a0399905ed253ff8b66c241
duh

diff -r 18e86941c950 -r 75d410d11a20 demo.py
--- a/demo.py	Tue Jul 27 02:30:32 2004 +0000
+++ b/demo.py	Tue Jul 27 02:34:14 2004 +0000
@@ -2,9 +2,9 @@
 #
 # Copyright (c) 2003 Richard Jones (richard@mechanicalcat.net)
 # 
-# $Id: demo.py,v 1.13 2004-07-27 01:59:27 richard Exp $
+# $Id: demo.py,v 1.14 2004-07-27 02:34:14 richard Exp $
 
-import sys, os, string, re, urlparse
+import sys, os, string, re, urlparse, ConfigParser
 import shutil, socket, errno, BaseHTTPServer
 from glob import glob
 
@@ -84,10 +84,9 @@
             backend = sys.argv[1]
         install_demo(home, backend)
 
-    f = open(os.path.join(home, 'config.ini'), 'r')
-    url = re.search(r'^web\s*=\s*(http.+/)$', f.read(),
-        re.M|re.I).group(1)
-    f.close()
+    cfg = ConfigParser.ConfigParser()
+    cfg.read(os.path.join(home, 'config.ini'))
+    url = cfg.get('tracker', 'web')
     hostname, port = urlparse.urlparse(url)[1].split(':')
     port = int(port)