X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=hippotat.git;a=blobdiff_plain;f=hippotatlib%2F__init__.py;h=16bba813016f88654f33d890ebb9588ef2794003;hp=9b10fdf093e96f53f727756bbf1982671fde7c0c;hb=a97e7215874070bbf794e9c21f51ff82fad2f86a;hpb=207f504298d577879a616faffd6107274df4d25c

diff --git a/hippotatlib/__init__.py b/hippotatlib/__init__.py
index 9b10fdf..16bba81 100644
--- a/hippotatlib/__init__.py
+++ b/hippotatlib/__init__.py
@@ -143,8 +143,6 @@ ipif = userv root ipif %(local)s,%(peer)s,%(mtu)s,slip %(rnets)s
 # relating to virtual network
 mtu = 1500
 
-[SERVER]
-server = SERVER
 # addrs = 127.0.0.1 ::1
 # url
 
@@ -525,6 +523,10 @@ def cfg_process_ipif(c, sections, varmap):
 
 #---------- startup ----------
 
+def log_debug_config(m):
+  if not DBG.CONFIG in debug_set: return
+  print('DBG.CONFIG:', m)
+
 def common_startup(process_cfg):
   # calls process_cfg(putative_clients, putative_servers)
 
@@ -536,7 +538,7 @@ def common_startup(process_cfg):
   def readconfig(pathname, mandatory=True):
     def log(m, p=pathname):
       if not DBG.CONFIG in debug_set: return
-      print('DBG.CONFIG: %s: %s' % (m, pathname))
+      log_debug_config('%s: %s' % (m, pathname))
 
     try:
       files = os.listdir(pathname)