From 3ec115321407c20cd940ff59764b3970ef91c391 Mon Sep 17 00:00:00 2001
From: unknown <khanhnguyen@ICTWEB002.SpeedyCash.ict>
Date: Mon, 17 Aug 2015 13:57:24 -0500
Subject: [PATCH] fixes error TypeError: XXX is not JSON serializable

---
 anim_encoder.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/anim_encoder.py b/anim_encoder.py
index 0deae29..eb8c7ee 100755
--- a/anim_encoder.py
+++ b/anim_encoder.py
@@ -220,7 +220,7 @@ def generate_animation(anim_name):
             w, h = b.stop - b.start, a.stop - a.start
             dy, dx = dst_rects[j]
 
-            blitlist.append([dx, dy, w, h, sx, sy])
+            blitlist.append([int(dx), int(dy), int(w), int(h), int(sx), int(sy)])
 
         timeline.append({'delay': delays[i], 'blit': blitlist})