kleiner Fehler im MediaPlayer mit MP3

  • Wenn in einem Verzeichniss ein MP3 liegt und die Extension statt ".mp3" nun ".Mp3" oder ".MP3" ist, erkennt der Mediaplayer dieses File nicht.


    Da muß vermutlich irgendwo in der Prüfung ein xxx.toLowerString() oä. rein