Skip to content

added optional 'prune' param to file:sync(...) #3084

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
sten1ee wants to merge 7 commits into from
Closed

added optional 'prune' param to file:sync(...) #3084

Changes from 1 commit
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
aafe3f7
added optional 'prune' param to file:sync(...)
sten1ee Nov 1, 2019
c8f7943
addressed some of Adam's requests
sten1ee Nov 4, 2019
99ebbce
added .acquireDocumentReadLock(doc.getURI())
sten1ee Nov 4, 2019
92daf66
tabs to spaces
sten1ee Nov 4, 2019
5bba21a
added sync/4
sten1ee Nov 5, 2019
154fd86
small fix
sten1ee Nov 5, 2019
8259f45
support for prune-exclusion patterns
sten1ee Dec 12, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
tabs to spaces
  • Loading branch information
@sten1ee
sten1ee committed Nov 4, 2019
commit 92daf6607a21c65b2e9ddf21944a9dc00e3bd6b2
2 changes: 1 addition & 1 deletion extensions/modules/file/src/main/java/org/exist/xquery/modules/file/Sync.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -161,7 +161,7 @@ private void saveCollection(final XmldbURI collectionPath, Path targetDir, final
for (final Iterator<DocumentImpl> i = collection.iterator(context.getBroker()); i.hasNext(); ) {
final DocumentImpl doc = i.next();
try (final ManagedLock lock = context.getBroker().getBrokerPool()
.getLockManager().acquireDocumentReadLock(doc.getURI())) {
.getLockManager().acquireDocumentReadLock(doc.getURI())) {
if (startDate == null || doc.getMetadata().getLastModified() > startDate.getTime()) {
if (doc.getResourceType() == DocumentImpl.BINARY_FILE) {
saveBinary(targetDir, (BinaryDocument) doc, output);
Expand Down