1.1 --- a/WebStack/JavaServlet.py Sat Apr 24 17:01:26 2004 +0000
1.2 +++ b/WebStack/JavaServlet.py Sat Apr 24 20:33:31 2004 +0000
1.3 @@ -85,7 +85,8 @@
1.4 def get_headers(self):
1.5
1.6 """
1.7 - A framework-specific method which returns all request headers.
1.8 + A framework-specific method which returns all request headers as a
1.9 + dictionary-like object mapping header names to values.
1.10 NOTE: If duplicate header names are permitted, then this interface will
1.11 NOTE: need to change.
1.12 """
1.13 @@ -218,6 +219,8 @@
1.14 """
1.15 A framework-specific method which extracts user information from the
1.16 transaction.
1.17 +
1.18 + Returns a username as a string or None if no user is defined.
1.19 """
1.20
1.21 return self.request.getRemoteUser()