aboutsummaryrefslogtreecommitdiff
path: root/rpkid/rpki-confgen
diff options
context:
space:
mode:
Diffstat (limited to 'rpkid/rpki-confgen')
-rwxr-xr-xrpkid/rpki-confgen13
1 files changed, 6 insertions, 7 deletions
diff --git a/rpkid/rpki-confgen b/rpkid/rpki-confgen
index cc5527d2..58758208 100755
--- a/rpkid/rpki-confgen
+++ b/rpkid/rpki-confgen
@@ -107,13 +107,12 @@ class Section(object):
o.to_wiki(f)
def to_conf(self, f, width):
- f.write('''
-################################################################################
-
-[''' + self.name + ''']
-''')
- for d in self.doc:
- f.write("\n%s\n" % conf_wrapper.fill(d))
+ f.write("\n" + "#" * 78 + "\n\n[" + self.name + "]\n")
+ if self.doc:
+ f.write("\n##")
+ for i, d in enumerate(self.doc):
+ f.write("%s\n%s\n" % ("" if i == 0 else "#", conf_wrapper.fill(d)))
+ f.write("##\n")
for o in self.options:
o.to_conf(f, width)