# 
# patch "git_export.cc"
#  from [316e9ef94c5c358d9f6a51fb35a4a73b83c4543a]
#    to [8260775beb8ca5b97fe146703c7bcd70841a28f6]
# 
========================================================================
--- git_export.cc	316e9ef94c5c358d9f6a51fb35a4a73b83c4543a
+++ git_export.cc	8260775beb8ca5b97fe146703c7bcd70841a28f6
@@ -299,8 +299,10 @@
   manifest_map manifest;
   app.db.get_manifest(mid, manifest);
 
-  set<shared_ptr<git_tree_entry> > tree;
+  attr_map attrs;
+  read_attr_map_from_db(manifest, attrs, app);
 
+  set<shared_ptr<git_tree_entry> > tree;
   for (manifest_map::const_iterator i = manifest.begin();
        i != manifest.end(); ++i)
     {
@@ -308,6 +310,11 @@
       shared_ptr<git_tree_entry> entry(new git_tree_entry);
       entry->blob_id = export_git_blob(git, app, manifest_entry_id(*i));
       entry->path = manifest_entry_path(*i);
+
+      string attrval;
+      if (find_in_attr_map(attrs, entry->path, "execute", attrval))
+	entry->execute = (attrval == "true");
+
       tree.insert(entry);
     }