Trim video file extension from glb file name (fixes #422)
This commit is contained in:
@@ -213,7 +213,7 @@ public class CameraPathExporter {
|
|||||||
java.nio.file.Path videoPath = settings.getOutputFile().toPath();
|
java.nio.file.Path videoPath = settings.getOutputFile().toPath();
|
||||||
java.nio.file.Path glbBasePath = Files.isDirectory(videoPath)
|
java.nio.file.Path glbBasePath = Files.isDirectory(videoPath)
|
||||||
? videoPath.resolve("camera.glb")
|
? videoPath.resolve("camera.glb")
|
||||||
: videoPath.resolveSibling(videoPath.getFileName() + ".glb");
|
: videoPath.resolveSibling(FilenameUtils.getBaseName(videoPath.getFileName().toString()) + ".glb");
|
||||||
java.nio.file.Path glbPath = glbBasePath;
|
java.nio.file.Path glbPath = glbBasePath;
|
||||||
for (int i = 0; Files.exists(glbPath); i++) {
|
for (int i = 0; Files.exists(glbPath); i++) {
|
||||||
String baseName = FilenameUtils.getBaseName(glbBasePath.getFileName().toString());
|
String baseName = FilenameUtils.getBaseName(glbBasePath.getFileName().toString());
|
||||||
|
|||||||
Reference in New Issue
Block a user