From 42c9cdf97adaaed7f87060283e3015f887833db2 Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Mon, 2 Jun 2014 15:04:25 +0200 Subject: [PATCH] Escape HTML chars in passthrough --- scripts/generate_manpage.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/generate_manpage.py b/scripts/generate_manpage.py index 5655dbdbe..06e0e492c 100644 --- a/scripts/generate_manpage.py +++ b/scripts/generate_manpage.py @@ -19,6 +19,7 @@ import os import sys +import cgi import inspect sys.path.insert(0, os.getcwd()) @@ -214,7 +215,8 @@ def generate_settings(): print(" * +{}+".format(val)) print() if option.default: - print("Default: +pass:[{}]+".format(option.default)) + print("Default: +pass:[{}]+".format(cgi.escape( + option.default))) else: print("Default: empty")