|
|
|
@ -209,6 +209,7 @@ public class ServletServerHttpRequest implements ServerHttpRequest { |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
@Override |
|
|
|
@Override |
|
|
|
|
|
|
|
@Nullable |
|
|
|
public Principal getPrincipal() { |
|
|
|
public Principal getPrincipal() { |
|
|
|
return this.servletRequest.getUserPrincipal(); |
|
|
|
return this.servletRequest.getUserPrincipal(); |
|
|
|
} |
|
|
|
} |
|
|
|
@ -329,7 +330,6 @@ public class ServletServerHttpRequest implements ServerHttpRequest { |
|
|
|
@Nullable |
|
|
|
@Nullable |
|
|
|
private transient Set<Entry<String, Object>> entrySet; |
|
|
|
private transient Set<Entry<String, Object>> entrySet; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@Override |
|
|
|
@Override |
|
|
|
public int size() { |
|
|
|
public int size() { |
|
|
|
int size = 0; |
|
|
|
int size = 0; |
|
|
|
@ -464,4 +464,5 @@ public class ServletServerHttpRequest implements ServerHttpRequest { |
|
|
|
return entrySet; |
|
|
|
return entrySet; |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
} |
|
|
|
} |
|
|
|
|