chiark / gitweb /
Push index to server last
authorCiaran Gultnieks <ciaran@ciarang.com>
Thu, 4 Apr 2013 17:43:35 +0000 (18:43 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Thu, 4 Apr 2013 17:43:35 +0000 (18:43 +0100)
fdroidserver/server.py

index 1d67a4e81ea618c6b27598bc82ab313c601d4ca5..e97539899bc15d6a15cd251d707350221a687eea 100644 (file)
@@ -41,8 +41,14 @@ def main():
         print "The only command currently supported is 'update'"
         sys.exit(1)
 
-    sys.exit(subprocess.call(['rsync', 
-        '-u', '-v', '-r', '--delete', 'repo', serverwebroot]))
+    if subprocess.call(['rsync', '-u', '-v', '-r', '--delete', '--exclude', 'repo/index.xml', '--exclude', 'repo/index.jar', 'repo', serverwebroot]) != 0:
+        sys.exit(1)
+    if subprocess.call(['rsync', '-u', '-v', '-r', '--delete', 'repo/index.xml', serverwebroot + '/repo']) != 0:
+        sys.exit(1)
+    if subprocess.call(['rsync', '-u', '-v', '-r', '--delete', 'repo/index.jar', serverwebroot + '/repo']) != 0:
+        sys.exit(1)
+
+    sys.exit(0)
 
 if __name__ == "__main__":
     main()