version 1.8, 1999/04/27 15:05:47
|
version 1.8.4.1, 2000/06/23 14:29:23
|
Line 15 import java.util.Vector;
|
Line 15 import java.util.Vector;
|
|
|
import org.w3c.jigsaw.auth.AuthRealm; |
import org.w3c.jigsaw.auth.AuthRealm; |
import org.w3c.jigsaw.auth.AuthUser; |
import org.w3c.jigsaw.auth.AuthUser; |
|
import org.w3c.jigsaw.auth.AuthFilter; |
import org.w3c.jigsaw.auth.IPMatcher; |
import org.w3c.jigsaw.auth.IPMatcher; |
import org.w3c.jigsaw.auth.RealmsCatalog; |
import org.w3c.jigsaw.auth.RealmsCatalog; |
|
import org.w3c.jigsaw.http.Request; |
import org.w3c.jigsaw.http.httpd; |
import org.w3c.jigsaw.http.httpd; |
|
|
import org.w3c.tools.resources.FramedResource; |
import org.w3c.tools.resources.FramedResource; |
Line 248 public class AclRealm extends JAcl {
|
Line 250 public class AclRealm extends JAcl {
|
} |
} |
if (! methodprotected) |
if (! methodprotected) |
return true; |
return true; |
return hasPrincipal(principal); |
boolean granted = hasPrincipal(principal); |
|
if (granted) { |
|
// let's add the username there |
|
String username = principal.getName(); |
|
if (username != null) { |
|
try { |
|
HTTPPrincipal htp = (HTTPPrincipal)principal; |
|
Request request = htp.getRequest(); |
|
if (username != null) { |
|
request.setState(AuthFilter.STATE_AUTHUSER, username); |
|
} |
|
} catch (Exception ex) { |
|
// was not an HTTPPrincipal |
|
} |
|
} |
|
} |
|
return granted; |
} |
} |
|
|
public String toString() { |
public String toString() { |