* Logs: Again, fix setting log filename (ticket #805)

This commit is contained in:
zzz
2013-02-10 16:37:06 +00:00
parent f5e416d6bf
commit 6cef4f90e1

View File

@@ -352,7 +352,7 @@ public class LogManager {
// so it may be set in the UI.
String filename = config.getProperty(PROP_FILENAME, DEFAULT_FILENAME);
String filenameOverride = _context.getProperty(FILENAME_OVERRIDE_PROP);
if (filenameOverride != null && !filename.equals(DEFAULT_FILENAME))
if (filenameOverride != null && filename.equals(DEFAULT_FILENAME))
setBaseLogfilename(filenameOverride);
else
setBaseLogfilename(filename);