Even een snelle achtergrond...
Ik gebruik een applicatie die van bepaalde bestanden html bestanden kan maken. De output hiervan is echter
HTML001.htm
HTML002.htm
enz
Ik heb nu een proggie gemaakt die de TITLE tag uit deze bestanden oppakt en de naam van het bestand hiernaar wijzigt.
Allemaal leuk, maar het daadwerkelijke renamen werkt niet helemaal lekker. Ik gebruik gewoon de rename() methode van de File class.
Dit gaat echter maar af en toe goed.
Het lijkt wel of een ander programma deze bestanden ook benadered en ik daarom tegen een soort lock aan loop te hikken.
De rename methode geeft een boolean terug. Ik heb geprobeerd om deze methode door te hakken net zolang hij gelukt is.
ten eerste is dit natuurlijk rommel, maar het werkt niet eens. Mijn processor loopt te malen als een idioot en er gebeurt weinig. Na een minuutje heeft hij slechts een paar bestanden weten te renamen.
Ik heb het ouderwetse kopieer gebeuren ook geprobeerd. Maar de delete() methode (van het oude bestand achteraf) geeft hetzelfde resultaat.
Dit hele zaakje lijkt wat wispelturig. Herkent iemand dit probleem?
Ik gebruik een applicatie die van bepaalde bestanden html bestanden kan maken. De output hiervan is echter
HTML001.htm
HTML002.htm
enz
Ik heb nu een proggie gemaakt die de TITLE tag uit deze bestanden oppakt en de naam van het bestand hiernaar wijzigt.
Allemaal leuk, maar het daadwerkelijke renamen werkt niet helemaal lekker. Ik gebruik gewoon de rename() methode van de File class.
Dit gaat echter maar af en toe goed.
Het lijkt wel of een ander programma deze bestanden ook benadered en ik daarom tegen een soort lock aan loop te hikken.
De rename methode geeft een boolean terug. Ik heb geprobeerd om deze methode door te hakken net zolang hij gelukt is.
Java:
1
| while (!bestand.renameTo(nieuweNaam)){} |
ten eerste is dit natuurlijk rommel, maar het werkt niet eens. Mijn processor loopt te malen als een idioot en er gebeurt weinig. Na een minuutje heeft hij slechts een paar bestanden weten te renamen.
Ik heb het ouderwetse kopieer gebeuren ook geprobeerd. Maar de delete() methode (van het oude bestand achteraf) geeft hetzelfde resultaat.
Dit hele zaakje lijkt wat wispelturig. Herkent iemand dit probleem?