Method getSafePortal

server/src/main/java/io/crate/session/Session.java:320–326

(String portalName)

    }

    private Portal getSafePortal(String portalName) {
        Portal portal = portals.get(portalName);
        if (portal == null) {
            throw new IllegalArgumentException("Cannot find portal: " + portalName);
        }
        return portal;
    }

    public CoordinatorSessionSettings sessionSettings() {
        return sessionSettings;