Minor modifications. Added nonce manager class.
Added text file which shows overall information flow.
Minor changements. Next step: introduce nonce manager, and detect replays throught nonce-counts.
first implementation of user manager. TODO Import user manager in http_authorization.
User manager can now determine whether nonce is stale, i.e., older than time_to_live.
minor changes.
Revised USER_MANAGER class.
minor changes.
minor changes.
Moved USER_MANAGER to HTTP_AUTHORIZATION project. Can now be accessed from both server and HTTP_AUTHORIZATION.
Revised USER_MANAGER
Fixed information flow in DEMO.process_authentication: respond with digest, if received digest. TODO Check this.
Cleaning. Now: Fix bug where handle_restricted does not send WWW-Authenticate header. I try to merge this with handle_authorized and/or handle_unauthorized.
Fixed authentication_info. Recall: It must not be sent unless the authentication was successful. Moved put_string statements in process_authentication in debug clauses. TODO: testing, revising contracts.
Added comments, moved server params to creation feature.
Cleaned code and fixed bug where user was not able to choose basic authentication. TODO: Testing and revising contracts.
Split USER manager into separated USER manager and NONCE manager,
made them deferred.
And provided effective descendants MEMORY_USER_MANAGER and MEMORY_NONCE_MANAGER.

For example, provided (MEMORY_)NONCE_AND_USER_MANAGER classes, if the user prefer to have a single object.
+Cosmetic