commit f96f67b4b9e21f44b74467203b8fec5b39d39b9f
author Michael Bestas <mikeioannina@gmail.com> Tue Oct 21 00:43:37 2014 +0300
committer Michael Bestas <mikeioannina@gmail.com> Tue Oct 21 00:43:37 2014 +0300
tree ffbc51096e45795de85a01c03308ba07cc0a3a95
parent 919053fff361c365ae520289967a2051fec09e12

crowdin: Don't hang when push fails

Change-Id: Icb5cd6ee850ecd793c2e6b0dbcf2037d3b997fdf

crowdin_sync.py

diff --git a/crowdin_sync.py b/crowdin_sync.py
index a5f45ce..0d3124f 100755
--- a/crowdin_sync.py
+++ b/crowdin_sync.py
@@ -67,9 +67,11 @@
         return
 
     # Push commit
-    repo.git.push('ssh://' + username + '@review.cyanogenmod.org:29418/' + name, 'HEAD:refs/for/' + branch + '%topic=translation')
-
-    print('Succesfully pushed commit for ' + name)
+    try:
+        repo.git.push('ssh://' + username + '@review.cyanogenmod.org:29418/' + name, 'HEAD:refs/for/' + branch + '%topic=translation')
+        print('Succesfully pushed commit for ' + name)
+    except:
+        print('Failed to push commit for ' + name)
 
 ####################################################################################################