From 083ada240d0fda5a96d0cbcf0da2a41b4b9dd6a2 Mon Sep 17 00:00:00 2001 From: aclement Date: Tue, 26 Apr 2005 16:19:39 +0000 Subject: [PATCH] Useful guard method - prevents asking for properties twice through ajde. --- ajde/src/org/aspectj/ajde/Ajde.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ajde/src/org/aspectj/ajde/Ajde.java b/ajde/src/org/aspectj/ajde/Ajde.java index 093cee81c..b1c50a47c 100644 --- a/ajde/src/org/aspectj/ajde/Ajde.java +++ b/ajde/src/org/aspectj/ajde/Ajde.java @@ -170,6 +170,10 @@ public class Ajde { this.logPrintStream = null; } + public boolean isLogging() { + return (this.logPrintStream!=null); + } + /** * The structure manager is not a part of the public API and its * use should be avoided. Used getStructureViewManager() -- 2.39.5