diff --git a/scripts/boxesserver b/scripts/boxesserver index 285080c..9247248 100755 --- a/scripts/boxesserver +++ b/scripts/boxesserver @@ -74,12 +74,16 @@ class BServer: def __init__(self): self.boxes = {b.__name__ : b() for b in boxes.generators.getAllBoxGenerators().values() if b.webinterface} - def arg2html(self, a): + def arg2html(self, a, prefix): name = a.option_strings[0].replace("-", "") if isinstance(a, argparse._HelpAction): return "" + viewname = name + if prefix and name.startswith(prefix + '_'): + viewname = name[len(prefix)+1:] + row = """
""", box.__doc__ or "", """