diff --git a/tools.py b/tools.py index 062b190..966195d 100644 --- a/tools.py +++ b/tools.py @@ -83,29 +83,3 @@ def run_script(script, stdin='', timeout=5): # --------------------------------------------------------------------------- def md_to_html(text, q=None): return markdown(text) - -# def md_to_html(text, ref=None, files={}): -# if ref is not None: -# # given q['ref'] and q['files'] replaces references to files by a -# # GET to /file?ref=???;name=??? -# for k in files: -# text = text.replace(k, '/file?ref={};name={}'.format(ref, k)) -# return markdown.markdown(text, extensions=[ -# 'markdown.extensions.tables', -# 'markdown.extensions.fenced_code', -# 'markdown.extensions.codehilite', -# 'markdown.extensions.def_list', -# 'markdown.extensions.sane_lists' -# ]) - -# --------------------------------------------------------------------------- -# def md_to_html_review(text, q): -# for k,f in q['files'].items(): -# text = text.replace(k, '/absfile?name={}'.format(q['files'][k])) -# return markdown.markdown(text, extensions=[ -# 'markdown.extensions.tables', -# 'markdown.extensions.fenced_code', -# 'markdown.extensions.codehilite', -# 'markdown.extensions.def_list', -# 'markdown.extensions.sane_lists' -# ]) -- libgit2 0.21.2