String rfullpath = request != null ? request.getFullUNCPath() : ( '\\' + loc.getServer() + '\\' + loc.getShare() + loc.getUNCPath() );
            if ( t.isInDomainDfs() || !t.isPossiblyDfs() ) {
                if ( t.isInDomainDfs() ) {
                    // need to adjust request path
                    DfsReferralData dr = t.getTreeReferral();
                    if ( dr != null ) {

     * 
     */
    void markDomainDfs () {
        this.inDomainDfs = true;
    }


    /**
     * @return whether this tree was accessed using domain DFS
     */
    public boolean isInDomainDfs () {
        return this.inDomainDfs;
    }


    /**
     * @param referral
     */
    public void setTreeReferral ( DfsReferralData referral ) {
        this.treeReferral = referral;
    }