some markdown parsing.. jst for fun

shop.py

@@ -15,6 +15,8 @@ USERNAME = 'admin'
 PASSWORD = 'default'
 URLFINDER = re.compile("((news|telnet|nttp|file|http|ftp|https)://[^ ]+)")
 URLPARSER = re.compile(r'(\[)([^\]]+)(\])\(([^\)]+)\)')
+BOLDFINDER = re.compile(r'\*([^\*]+)\*')
+CODEFINDER = re.compile(r'\`([^\`]+)\`')
 
 # create our little application :)
 app = Flask(__name__)
@@ -99,6 +101,11 @@ def scan_for_new_documents(id):
                  [shop, id])
     g.db.commit()
 
+def markdown_parse(s):
+    s=BOLDFINDER.sub(r'*<span class="md_bold">\1</span>*',s)
+    s=CODEFINDER.sub(r'`<span class="md_code">\1</span>`',s)
+    return s
+
 def urlify(s):
     if URLPARSER.search(s):
         return URLPARSER.sub(r'[<a href="\4" target="_blank">\2</a>]',s)
@@ -152,8 +159,11 @@ def show_shop(shopid):
             icon=u"\u2714"
             extra_class=""
         row=urlify(row).encode('ascii', 'xmlcharrefreplace')
+        row=markdown_parse(row)
         if row.startswith("#"):
             row="<span class=md_head>"+row+"</span>"
+        if row.startswith(">"):
+            row="<span class=md_quote>"+row+"</span>"
         entries.append( dict(row=i, text=row, icon=icon, extra_class=extra_class) )
     shared_to=[]
     cur = g.db.execute('select * from shares')