equal
deleted
inserted
replaced
31 |
31 |
32 /** |
32 /** |
33 * Represents a user authenticated by HTTP Basic or Digest |
33 * Represents a user authenticated by HTTP Basic or Digest |
34 * authentication. |
34 * authentication. |
35 */ |
35 */ |
|
36 @jdk.Exported |
36 public class HttpPrincipal implements Principal { |
37 public class HttpPrincipal implements Principal { |
37 private String username, realm; |
38 private String username, realm; |
38 |
39 |
39 /** |
40 /** |
40 * creates a HttpPrincipal from the given username and realm |
41 * creates a HttpPrincipal from the given username and realm |