Ticket #240: smf.patch

File smf.patch, 1.6 KB (added by David Aspinall, 16 years ago)

Flawed patch to SessionManagerFactory?

  • src/ed/inf/proofgeneral/sessionmanager/SessionManagerFactory.java 

    RCS file: /disk/cvs/proofgen/eclipse/ed.inf.proofgeneral/src/ed/inf/proofgeneral/sessionmanager/SessionManagerFactory.java,v
retrieving revision 1.3
diff -u -r1.3 SessionManagerFactory.java
     
    4747        }
    4848       
    4949        /**
    50          * Select the appropriate session manager (create it if necessary, and start
    51          * the prover)
     50         * Select the appropriate session manager (create it if necessary, but do not start
     51         * the prover).
    5252         *
    5353         * @param fileName
    5454         *            name of the file
    … …  
    6363                String fileExtn = fileName.substring(lastDot+1);
    6464                Prover prover = registry.getProverForFileExtension(fileExtn);
    6565                String pName = prover.getName();
    66                 return getSessionManagerForProver(pName,true);
     66                return getSessionManagerForProver(pName,false);
    6767        }
    6868
    6969        /**
    … …  
    8484       
    8585        /**
    8686         * Gets the Session Manager controlling the given prover.  If there is
    87          * no session manager associated, one is created (but the prover is not
    88          * started in it).
     87         * no session manager associated, one is created and the prover is
     88         * started in it if the given flag is true.
    8989         * @param proverName
     90         * @param startup
    9091         * @return the session manager for this prover.
    9192         */
    9293        public SessionManager getSessionManagerForProver(String proverName,boolean startup) throws ProverRegistryException {