[Python-checkins] peps: cleanup version header, too

Tue Oct 7 18:13:51 CEST 2014

https://hg.python.org/peps/rev/a1e0b096cb0d
changeset: 5576:a1e0b096cb0d
user: Benjamin Peterson <benjamin at python.org>
date: Tue Oct 07 12:12:47 2014 -0400
summary:
 cleanup version header, too
files:
 pep2html.py | 3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/pep2html.py b/pep2html.py
--- a/pep2html.py
+++ b/pep2html.py
@@ -242,6 +242,9 @@
 url = PEPURL % 9
 pep_type = v or 'text/plain'
 v = '<a href="%s">%s</a> ' % (url, cgi.escape(pep_type))
+ elif k.lower() == 'version':
+ if v.startswith('$' 'Revision: ') and v.endswith(' $'):
+ v = cgi.escape(v[11:-2])
 else:
 v = cgi.escape(v)
 print >> outfile, ' <tr><th>%s: </th><td>%s</td></tr>' \
-- 
Repository URL: https://hg.python.org/peps
