559560561562563564565566567568569
(String)listOfScripts[0]); // Stop the selected script. if ((s != null) && (s.length() > 0)) { ds.stopScript(s); } } // After we stop the script, check if there is still any running scripts menu_.enableMenuItem("startscript", true);