Fix JCR file system rename for compatibility with mounts.
authorMathieu Baudier <mbaudier@argeo.org>
Thu, 17 Sep 2020 10:02:36 +0000 (12:02 +0200)
committerMathieu Baudier <mbaudier@argeo.org>
Thu, 17 Sep 2020 10:02:36 +0000 (12:02 +0200)
commit988ad9ccec387af958ec25d04ad4795de1879484
tree386e4249d93f82781b7bc5afa7bfa247c86f3220
parentb4c4c47379e740b494a4a759df07c7b09a7649fa
Fix JCR file system rename for compatibility with mounts.
org.argeo.jcr/src/org/argeo/jcr/fs/JcrFileSystemProvider.java
org.argeo.jcr/src/org/argeo/jcr/fs/WorkspaceFileStore.java