> A last try: What do you get if you run it with basex (the standalone, not the client)?

java.nio.file.FileSystemException: [...]: Die Operation ist nicht erlaubt

at java.base/sun.nio.fs.UnixException.translateToIOException(UnixException.java:100)

        at java.base/sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:111)

        at java.base/sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:116)

        at java.base/sun.nio.fs.UnixCopyFile.copyFile(UnixCopyFile.java:288)

        at java.base/sun.nio.fs.UnixCopyFile.move(UnixCopyFile.java:476)

        at java.base/sun.nio.fs.UnixFileSystemProvider.move(UnixFileSystemProvider.java:263)

        at java.base/java.nio.file.Files.move(Files.java:1413)

        at org.basex.query.func.file.FileCopy.relocate(FileCopy.java:75)

        at org.basex.query.func.file.FileCopy.relocate(FileCopy.java:53)

        at org.basex.query.func.file.FileMove.item(FileMove.java:18)

        at org.basex.query.func.file.FileFn.item(FileFn.java:25)

        at org.basex.query.func.file.FileCopy.item(FileCopy.java:18)

        at org.basex.query.expr.ParseExpr.value(ParseExpr.java:50)

        at org.basex.query.expr.ParseExpr.iter(ParseExpr.java:45)

        at org.basex.query.scope.MainModule.iter(MainModule.java:97)

        at org.basex.query.QueryContext.iter(QueryContext.java:332)

        at org.basex.query.QueryProcessor.iter(QueryProcessor.java:90)

        at org.basex.core.cmd.AQuery.query(AQuery.java:107)

        at org.basex.core.cmd.XQuery.run(XQuery.java:22)

        at org.basex.core.Command.run(Command.java:257)

        at org.basex.core.Command.execute(Command.java:93)

        at org.basex.api.client.LocalSession.execute(LocalSession.java:132)

        at org.basex.api.client.Session.execute(Session.java:36)

        at org.basex.core.CLI.execute(CLI.java:92)

        at org.basex.BaseX.<init>(BaseX.java:100)

        at org.basex.BaseX.main(BaseX.java:42)

org.basex.query.QueryException: [...]: Die Operation ist nicht erlaubt

at org.basex.query.QueryError.get(QueryError.java:1431)

        at org.basex.query.func.file.FileFn.item(FileFn.java:35)

        at org.basex.query.func.file.FileCopy.item(FileCopy.java:18)

        at org.basex.query.expr.ParseExpr.value(ParseExpr.java:50)

        at org.basex.query.expr.ParseExpr.iter(ParseExpr.java:45)

        at org.basex.query.scope.MainModule.iter(MainModule.java:97)

        at org.basex.query.QueryContext.iter(QueryContext.java:332)

        at org.basex.query.QueryProcessor.iter(QueryProcessor.java:90)

        at org.basex.core.cmd.AQuery.query(AQuery.java:107)

        at org.basex.core.cmd.XQuery.run(XQuery.java:22)

        at org.basex.core.Command.run(Command.java:257)

        at org.basex.core.Command.execute(Command.java:93)

        at org.basex.api.client.LocalSession.execute(LocalSession.java:132)

        at org.basex.api.client.Session.execute(Session.java:36)

        at org.basex.core.CLI.execute(CLI.java:92)

        at org.basex.BaseX.<init>(BaseX.java:100)

        at org.basex.BaseX.main(BaseX.java:42)

Caused by: java.nio.file.FileSystemException: [...]: Die Operation ist nicht erlaubt

at java.base/sun.nio.fs.UnixException.translateToIOException(UnixException.java:100)

        at java.base/sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:111)

        at java.base/sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:116)

        at java.base/sun.nio.fs.UnixCopyFile.copyFile(UnixCopyFile.java:288)

        at java.base/sun.nio.fs.UnixCopyFile.move(UnixCopyFile.java:476)

        at java.base/sun.nio.fs.UnixFileSystemProvider.move(UnixFileSystemProvider.java:263)

        at java.base/java.nio.file.Files.move(Files.java:1413)

        at org.basex.query.func.file.FileCopy.relocate(FileCopy.java:75)

        at org.basex.query.func.file.FileCopy.relocate(FileCopy.java:53)

        at org.basex.query.func.file.FileMove.item(FileMove.java:18)

        at org.basex.query.func.file.FileFn.item(FileFn.java:25)

        ... 15 more

org.basex.core.BaseXException: Stopped at ., 1/10:

[file:io-error] [...]: Die Operation ist nicht erlaubt

at org.basex.core.Command.execute(Command.java:94)

        at org.basex.api.client.LocalSession.execute(LocalSession.java:132)

        at org.basex.api.client.Session.execute(Session.java:36)

        at org.basex.core.CLI.execute(CLI.java:92)

        at org.basex.BaseX.<init>(BaseX.java:100)

        at org.basex.BaseX.main(BaseX.java:42)

Caused by: org.basex.query.QueryException: [...]: Die Operation ist nicht erlaubt

at org.basex.query.QueryError.get(QueryError.java:1431)

        at org.basex.query.func.file.FileFn.item(FileFn.java:35)

        at org.basex.query.func.file.FileCopy.item(FileCopy.java:18)

        at org.basex.query.expr.ParseExpr.value(ParseExpr.java:50)

        at org.basex.query.expr.ParseExpr.iter(ParseExpr.java:45)

        at org.basex.query.scope.MainModule.iter(MainModule.java:97)

        at org.basex.query.QueryContext.iter(QueryContext.java:332)

        at org.basex.query.QueryProcessor.iter(QueryProcessor.java:90)

        at org.basex.core.cmd.AQuery.query(AQuery.java:107)

        at org.basex.core.cmd.XQuery.run(XQuery.java:22)

        at org.basex.core.Command.run(Command.java:257)

        at org.basex.core.Command.execute(Command.java:93)

... 5 more

Caused by: java.nio.file.FileSystemException: [...]: Die Operation ist nicht erlaubt

at java.base/sun.nio.fs.UnixException.translateToIOException(UnixException.java:100)

        at java.base/sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:111)

        at java.base/sun.nio.fs.UnixException.rethrowAsIOException(UnixException.java:116)

        at java.base/sun.nio.fs.UnixCopyFile.copyFile(UnixCopyFile.java:288)

        at java.base/sun.nio.fs.UnixCopyFile.move(UnixCopyFile.java:476)

        at java.base/sun.nio.fs.UnixFileSystemProvider.move(UnixFileSystemProvider.java:263)

        at java.base/java.nio.file.Files.move(Files.java:1413)

        at org.basex.query.func.file.FileCopy.relocate(FileCopy.java:75)

        at org.basex.query.func.file.FileCopy.relocate(FileCopy.java:53)

        at org.basex.query.func.file.FileMove.item(FileMove.java:18)

       at org.basex.query.func.file.FileFn.item(FileFn.java:25)

... 15 more

Von: Christian Grün <christian.gruen@gmail.com>
Gesendet: Dienstag, 11. Februar 2020 17:54
An: Zimmel, Daniel <D.Zimmel@ESVmedien.de>
Cc: BaseX <basex-talk@mailman.uni-konstanz.de>
Betreff: Re: [basex-talk] file:move() fails when moving to another file system

>: Die Operation ist nicht erlaubt

A last try: What do you get if you run it with basex (the standalone, not the client)?

> I think the if/then can be left out, because the query will always fail sequentially before the delete if something goes wrong with the copy (?)

Exactly.