| /webapp/main.py |
|---|
| 43,7 → 43,7 |
| .replace(ur"p̚",ur"p ").replace(ur"t̚",ur"t ").replace(ur"'̚",ur"' ") \ |
| .replace(u"\\",ur"").replace(ur"(",ur"").replace(ur")",ur"") \ |
| .replace(ur"[",ur"").replace(ur"]",ur"") \ |
| .replace(ur"$\cdot$",ur"").strip() |
| .replace(ur"$cdot$",ur"").strip() |
| s = re.sub(ur" or.*","",s) |
| return s |