if (objOptions.CreateTimeStamp()) {
/*
* kein Rename-TimeStamp verwenden, zur Sicherheit, damit die
* Original-Datei erhalten bleibt (jedenfalls erstmal).
*/
fileToArchive = new JSFile(fileToArchive.CopyTimeStamp());
// geht nicht auf be0027 fileToArchive.deleteOnExit();
strFName = fileToArchive.getName();
}
else {
strFName = fileToArchive.getName();