Changeset 135 for trunk/src/org/expeditee/actions

Timestamp:

07/10/08 15:59:39 (16 years ago)

Author:

ra33

Message:

 

File:

• trunk/src/org/expeditee/actions/Simple.java (modified) (6 diffs)

trunk/src/org/expeditee/actions/Simple.java

@@ -16 +16 @@
 import java.util.regex.Pattern;
 
+import org.expeditee.agents.Agent;
 import org.expeditee.agents.DefaultAgent;
 import org.expeditee.agents.DisplayTree;
@@ -121 +122 @@
 
         private static boolean _stop;
+        
+        private static Agent _agent = null;
 
         private static boolean _step;
@@ -860 +863 @@
                                 SearchAgent searchAgent = new SearchFrameset();
                                 searchAgent.initialise(frameset, resultsFrameset, replacementString, pattern);
+                                _agent = searchAgent;
                                 searchAgent.run();
+                                _agent = null;
                                 
                                 if (tokens.length > 6) {
@@ -892 +897 @@
                                                 tokens[2]);
                                 SearchAgent searchAgent = new SearchTree();
+                                _agent = searchAgent;
                                 searchAgent.initialise(topFrameName, resultsFrameset, replacementString, pattern);
                                 searchAgent.run();
+                                _agent = null;
                                 if (tokens.length > 6) {
                                         context.getPrimitives().setValue(tokens[6],
@@ -2138 +2145 @@
                         WriteTree wt = new WriteTree(format, fileName);
                         if (wt.initialise(source, null)) {
+                                _agent = wt;
                                 wt.run();
+                                _agent = null;
                         }
                 } else if (tokens[0].equals("concatstr")) {
@@ -2670 +2679 @@
         public static void stop() {
                 _stop = true;
+                if(_agent != null){
+                        _agent.stop();
+                }
         }