Method getPath

Java/SMLJava/src/main/java/edu/umich/soar/config/Config.java:146–157

(String key, String def)

    // /////////////////////////
    // Paths
    public String getPath(String key, String def)
    {
        String path = getString(key, def);
        if (path == null)
            return null;

        path = path.trim(); // remove white space
        if (!path.startsWith("/"))
            return source.getPrefixPath() + path;

        return path;
    }

    public String getPath(String key)
    {