|
|
@ -77,19 +77,19 @@ public class RotatingHandler extends StreamHandler {
|
|
|
|
String extName = null;
|
|
|
|
String extName = null;
|
|
|
|
int pos = fileName.lastIndexOf('.');
|
|
|
|
int pos = fileName.lastIndexOf('.');
|
|
|
|
if (pos > 0) {
|
|
|
|
if (pos > 0) {
|
|
|
|
baseName = fileName.substring(pos);
|
|
|
|
baseName = fileName.substring(0, pos);
|
|
|
|
extName = fileName.substring(pos);
|
|
|
|
extName = fileName.substring(pos);
|
|
|
|
} else {
|
|
|
|
} else {
|
|
|
|
baseName = fileName;
|
|
|
|
baseName = fileName;
|
|
|
|
extName = "";
|
|
|
|
extName = "";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
String newFileName = fileName + "-" + str;
|
|
|
|
String newFileName = baseName + "-" + str;
|
|
|
|
File newFile = null;
|
|
|
|
File newFile = null;
|
|
|
|
int idx = 1;
|
|
|
|
int idx = 1;
|
|
|
|
do {
|
|
|
|
do {
|
|
|
|
newFile = new File(parentFile, newFileName + extName);
|
|
|
|
newFile = new File(parentFile, newFileName + extName);
|
|
|
|
if (newFile.exists()) {
|
|
|
|
if (!newFile.exists()) {
|
|
|
|
try {
|
|
|
|
try {
|
|
|
|
file.renameTo(newFile);
|
|
|
|
file.renameTo(newFile);
|
|
|
|
} catch (Exception ex) {
|
|
|
|
} catch (Exception ex) {
|
|
|
|