*/
public void saveAlignment(String file, FileFormatI format)
{
- lastSaveSuccessful = false;
+ lastSaveSuccessful = true;
lastFilenameSaved = file;
lastFormatSaved = format;
else
{
// create backupfiles object and get new temp filename destination
- BackupFiles backupfiles = new BackupFiles(file);
+ boolean doBackup = BackupFiles.getEnabled();
+ BackupFiles backupfiles = doBackup ? new BackupFiles(file) : null;
try
{
- PrintWriter out = new PrintWriter(
- new FileWriter(backupfiles.getTempFilePath()));
+ String tempFilePath = doBackup ? backupfiles.getTempFilePath() : file;
+ PrintWriter out = new PrintWriter(
+ new FileWriter(tempFilePath));
out.print(output);
out.close();
statusBar.setText(MessageManager.formatMessage(
"label.successfully_saved_to_file_in_format", new Object[]
{ fileName, format.getName() }));
+ lastSaveSuccessful = true;
} catch (Exception ex)
{
lastSaveSuccessful = false;
ex.printStackTrace();
}
- backupfiles.setWriteSuccess(lastSaveSuccessful);
- // do the backup file roll and rename the temp file to actual file
- lastSaveSuccessful = backupfiles.rollBackupsAndRenameTempFile();
+ if (doBackup)
+ {
+ backupfiles.setWriteSuccess(lastSaveSuccessful);
+ // do the backup file roll and rename the temp file to actual file
+ lastSaveSuccessful = backupfiles.rollBackupsAndRenameTempFile();
+ }
}
}
};