Added \" to escapes so embedded escaped double quotes are handled

correctly.  Patch suggested by Mads Kiilerich <mk@solit.dk>.

diff --git a/Tools/i18n/pygettext.py b/Tools/i18n/pygettext.py
index f8567e9c94c8d9cb98cefb38b9200d4a857e992d..fcd6b9512d398f432a537208d97b1f09454222e7 100755 (executable)
--- a/Tools/i18n/pygettext.py
+++ b/Tools/i18n/pygettext.py
@@ -137,6 +137,7 @@ escapes[ord('\\')] = '\\\\'
 escapes[ord('\t')] = '\\t'
 escapes[ord('\r')] = '\\r'
 escapes[ord('\n')] = '\\n'
+escapes[ord('\"')] = '\\"'
 
 def escape(s):
     s = list(s)