Useful guard method - prevents asking for properties twice through ajde.

diff --git a/ajde/src/org/aspectj/ajde/Ajde.java b/ajde/src/org/aspectj/ajde/Ajde.java
index 093cee81cef74705dace2bf005cb290c7ada229f..b1c50a47c561127dd366d03db190009e09fa38b9 100644 (file)
--- 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 <CODE>getStructureViewManager()</CODE>