Java Property File zum Merken des Änderungsdatums eines Files - Welches Framework?

[Danny787]

Hallo zusammen,

ich entwickle momentan eine Applikation, die XML Files parst und aus deren Inhalten Objekte (Contents) erzeugt. Diese werden anschließend in eine Datenbank eingespeist und dort mithilfe semantischer Analyse-Tools miteinander in Beziehung gesetzt. Die Applikation lauft auf einem JBoss Server. Die Applikation soll in zyklischen Abständen überprüfen, ob sich Änderungen im XML File ergeben haben und aktualisiert dementsprechend die Datenbank (add/update/delete). Es soll das XML File also nur dann erneut geparst werden, wenn sich auch tatsächlich was am XML File geändert hat. Das Problem besteht nun darin, dass für jeden definierten Cron-Job Zyklus die Applikation neu instanziiert wird und somit die lokalen Attribute wieder auf die default Werte zurückgesetzt werden.
Soll heißen: Ich kann mir das Änderungsdatum der XML Files nicht lokal in der Applikation merken, sondern muss ein externes File dazu erzeugen.

Nun zu meinen Fragen:
1. Wo soll ich das File speichern? Im temp Ordner des Filesystems? Oder kann ich das File auch auf dem JBoss Server deployen?

2. Welches Framework bietet sich hierzu an?

Ich will im Prinzip eine Datei haben, wo als key der XML-Dateipfad und als Value das Änderungsdatum des XML Files steht (File.getPath() - File.lastModificationDate()). Sobald sich das Änderungsdatum des XML Files ändert (ModificationDate Property File < ModificationDate XML File), dann soll der entsprechende Property File Wert zunächst mit dem neuen Änderungsdatum überschrieben und anschließend der Parser gestartet werden.

Bin für jeden Vorschlag dankbar

 

[Darklanmaster]

Warum speicherst du das Datum nicht in der Datenbank, wenn es die eh schon gibt

 

[DHundt]

Mahlzeit,

Was spricht dagegen die Werte ebenfalls in der Datenbank zu speichern?
Eigentlich sollte ja auch der Timestamp der aktuellsten Datei ausreichen
(unter der Annahme, dass neue Dokumente einen korrekten Timestamp haben).
Alle Dokumente mit einem aktuelleren Timestamp gelten als geändert.

Gruß
Daniel

 

[SaxnPaule]

Die Datei am Besten ins User Home legen, da bekommst du keine Berechtigungsprobleme.
Reicht es nicht einfach die Datei per FileReader einzulesen und einfach an den Trennzeichen zu splitten und in eine Map<String, Date> zu parsen? Ganz ohne Framework, sondern nur mit java.io.*

 

[benneq]

Java Properties haben doch einen Reader/Parser und Writer integriert. Okay, man muss noch von String zu Date "casten", aber dafür hat Date ja auch integrierte Funktionalität.