diff --git a/common/source/java/ch/systemsx/cisd/common/utilities/TriggeringTimerTask.java b/common/source/java/ch/systemsx/cisd/common/utilities/TriggeringTimerTask.java index 61ef393e5490b6b3a8efccfa9a63e79508163eee..068c1dd7066d47fc012093911b7890de9c83fd99 100644 --- a/common/source/java/ch/systemsx/cisd/common/utilities/TriggeringTimerTask.java +++ b/common/source/java/ch/systemsx/cisd/common/utilities/TriggeringTimerTask.java @@ -107,7 +107,12 @@ public class TriggeringTimerTask extends TimerTask if (triggerFile.exists()) { trigger(); - triggerFile.delete(); + if (triggerFile.delete() == false) + { + operationLog.warn(String.format( + "Was not able to delete trigger file '%s'.", triggerFile + .getAbsolutePath())); + } } } catch (final Exception ex) { @@ -115,5 +120,4 @@ public class TriggeringTimerTask extends TimerTask } } } - }