Error reading audio files from case sensitive filesystem

[mdk]

When I read a Columbus CSV file from the SD-card (formatted with FAT16) I also get the audio files. But when I try to read them from my disk archive (ext4), I did't get the files. Instead there are errors like:

Open file: /home/michael/src/osm/ColumbusData/11092800.CSV (114175 bytes)
File vox00043 not found!
Fehlende Audiodatei: vox00043

The problem is, that ext4 is case sensitive and the files are named

VOX00043.WAV

and not

vox00043.wav

The reason for this is in ColumbusCSVReader.java line 366

if (isExtMode) {

voxFile = csvLine[14].toLowerCase();

} else {

voxFile = csvLine[9].toLowerCase();

}

Why is there a ".toLowerCase()"?

[mdk]

Sorry problem with NoScript cause duplicate ticket!

[anonymous]

Closed as duplicate of #6907.