GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-19 06:22:22 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

Merge pull request #218 from aakatov/master

Browse source 
Fix play sound with HTML special symbols in its filename
This commit is contained in:
Damien Elmes 2017-12-24 10:43:44 +10:00 committed by GitHub
commit 110fe33b64
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
anki/sound.py
View file

@ -2,6 +2,7 @@
# Copyright: Damien Elmes <anki@ichi2.net> # Copyright: Damien Elmes <anki@ichi2.net>
# License: GNU AGPL, version 3 or later; http://www.gnu.org/licenses/agpl.html # License: GNU AGPL, version 3 or later; http://www.gnu.org/licenses/agpl.html
import html
import re, sys, threading, time, subprocess, os, atexit import re, sys, threading, time, subprocess, os, atexit
import random import random
from anki.hooks import addHook from anki.hooks import addHook
@ -14,6 +15,8 @@ _soundReg = "\[sound:(.*?)\]"
def playFromText(text): def playFromText(text):
for match in allSounds(text): for match in allSounds(text):
# filename is html encoded
match = html.unescape(match)
play(match) play(match)
def allSounds(text): def allSounds(text):