File umbenennen scheitert

[Christoph Gärtner]

Hi.

Ich vermute mal stark, dass der Fehler tatsächlich hier liegt...

Ansonsten habe ich die Funktion auch mal etwas 'aufgeräumt':

  
private File checkAndSetExtension(File file, String ext, boolean ignoreCase)  
    throws FileNotFoundException, IOException  
{  
    if(!file.isFile())  
    {  
        throw new FileNotFoundException();  
    }  
    String name = file.getName();  
    if(ignoreCase)  
    {  
        ext = ext.toLowerCase();  
        name = name.toLowerCase();  
    }  
    if(name.endsWith("." + ext))  
    {  
        return file;  
    }  
    int i = name.lastIndexOf('.');  
    if(file.renameTo(new File(file.getParentFile(), i < 0 ?  
        name + "." + ext :  
        name.substring(0, i + 1) + ext)))  
    {  
        return file;  
    }  
    else throw new IOException("Failed to rename " + name);  
}  

Christoph