# HG changeset patch
# User Bernhard Herzog <bh@intevation.de>
# Date 1173709458 -3600
# Node ID 6ced445aa0904ea1dccfb7ab164734a9b6135952
# Parent  7c55f3879c4d18ccf7b92e76c2fb70cdf8ae615c
filename is not available for read config error message

diff -r 7c55f3879c4d -r 6ced445aa090 treepkg/readconfig.py
--- a/treepkg/readconfig.py	Fri Mar 09 19:39:13 2007 +0100
+++ b/treepkg/readconfig.py	Mon Mar 12 15:24:18 2007 +0100
@@ -40,8 +40,8 @@
             value = parser.get(section, key, vars=defaults)
             options[key] = converter(value)
         except NoOptionError:
-            print >>sys.stderr, "%s: Missing option %r in section %r" \
-                  % (filename, key, section)
+            print >>sys.stderr, "Missing option %r in section %r" \
+                  % (key, section)
             sys.exit(1)
     return options