From 1aa73e83065f0cbd6f3ceb011992c962504a1ef5 Mon Sep 17 00:00:00 2001
From: Holger Rapp <Rapp@mrt.uka.de>
Date: Thu, 30 Jul 2009 20:03:56 +0200
Subject: [PATCH] Fixed a small bug while printing out non ascii chars

---
 utils/get_tm_snippets.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utils/get_tm_snippets.py b/utils/get_tm_snippets.py
index 91de93f..892462b 100755
--- a/utils/get_tm_snippets.py
+++ b/utils/get_tm_snippets.py
@@ -18,7 +18,7 @@ def unescape(s):
     try:
         return _UNESCAPE.sub(fixup,s.decode("utf-8")).encode("utf-8")
     except:
-        print s.decode("utf-8")
+        print repr(s)
 
 def parse_content(c):
     try: