Rev4016, Fix updater

update.py

@@ -83,6 +83,10 @@ def update():
     num_error = 0
     for path_from, path_to in update_paths.items():
         print("-", path_from, "->", path_to)
+        if not os.path.isfile(path_from):
+            print("Missing file")
+            continue
+
         data = open(path_from, "rb").read()
 
         try:
@@ -108,4 +112,4 @@ def update():
 if __name__ == "__main__":
     sys.path.insert(0, os.path.join(os.path.dirname(__file__), "src"))  # Imports relative to src
 
-    update()
+    update()