Opened 17 years ago
Last modified 11 years ago
#22 assigned enhancement
Refactor SessionManager — at Initial Version
Reported by: | Owned by: | David Aspinall | |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
Continue refactoring of SessionManager to clean up responsibilities and add access controls on underlying models of prover state, etc. Queue handling, prover info and state, etc, should be handled as delegated behaviour (see treatment of ControlledDocuments).
Note: See
TracTickets for help on using
tickets.