Currently Env.copy(File, CopyFlags) requires the destination File is a pre-existing, empty directory. This was based on the LMDB documentation which indicates this is required.
Testing shows an Env created with MDB_NOSUBDIR fails to copy, whereas such an Env can be successfully copied to a File that represents a non-existing destination filename. The JavaDocs and rules for copy need to amended accordingly.
Currently
Env.copy(File, CopyFlags)requires the destinationFileis a pre-existing, empty directory. This was based on the LMDB documentation which indicates this is required.Testing shows an
Envcreated withMDB_NOSUBDIRfails to copy, whereas such anEnvcan be successfully copied to aFilethat represents a non-existing destination filename. The JavaDocs and rules forcopyneed to amended accordingly.