server/serverconfig.py
changeset 6627 430b7703b3fd
parent 6478 8098e1295cf0
child 6670 e22bd5eb6ffd
--- a/server/serverconfig.py	Mon Oct 25 15:42:42 2010 +0200
+++ b/server/serverconfig.py	Mon Oct 25 15:44:37 2010 +0200
@@ -78,12 +78,12 @@
     sconfig.input_config(inputlevel=inputlevel)
     return sconfig
 
-def generate_source_config(sconfig):
+def generate_source_config(sconfig, encoding=sys.stdin.encoding):
     """serialize a repository source configuration as text"""
     stream = StringIO()
     optsbysect = list(sconfig.options_by_section())
     assert len(optsbysect) == 1, 'all options for a source should be in the same group'
-    lgconfig.ini_format(stream, optsbysect[0][1], sys.stdin.encoding)
+    lgconfig.ini_format(stream, optsbysect[0][1], encoding)
     return stream.getvalue()