1
# -*- coding: utf-8 -*-
2
# kate: space-indent on; hl python;
4
class BadFormatError(Exception):
9
text, number = s.rsplit(',', 1)
10
number = number.strip()
13
raise BadFormatError('Usage: heading(text, cols), i.e. heading(Footer Stuff, 80)')
14
return '/*%s*/' % (' %s ' % text).center(int(number) - 4, '*')