Diff of /tool/src/main/Script.java [r3] .. [r22]

  Switch to unified view

a/tool/src/main/Script.java b/tool/src/main/Script.java 
...
 
...
148 
     * @param className Java-like type of class used by the script
148 
     * @param className Java-like type of class used by the script
149 
     */
149 
     */
150 
    public void runJava(File scriptFile, String methodName, String className) {
150 
    public void runJava(File scriptFile, String methodName, String className) {
151 
        // shall we interpret this file?
151 
        // shall we interpret this file?
152 
        if(scriptFile.exists()==false){
152 
        if(scriptFile.exists()==false){
153 
            script.log.write(is.NOTFOUND, "Couldn't find the mentioned script"
153 
            script.log.write(is.NOTFOUND, "SC23 - Couldn't find script file"
154 
                    + " at %1", scriptFile.getAbsolutePath());
154 
                    + " %1", scriptFile.getAbsolutePath());
155 
            return;
155 
            return;
156 
        }
156 
        }
157
157
158 
        // read the text file
158 
        // read the text file
159 
        String rawText = utils.files.readAsString(scriptFile);
159 
        String rawText = utils.files.readAsString(scriptFile);