Opened 17 years ago
Last modified 11 years ago
#58 new defect
Hangs during shutdown
| Reported by: | Owned by: | David Aspinall | |
|---|---|---|---|
| Priority: | minor | Milestone: | |
| Component: | 1:pg-eclipse | Keywords: | |
| Cc: |
Description
Sometimes observed. Repeatable test case needed (but may be concurrency issue). Previous remark:
- sometimes unlock docs (!SM.unlockAll) hangs on close (trying to run in display thread while display thread shutting down).
Change History (3)
comment:1 Changed 17 years ago by
| Component: | documentation → proofgeneral-eclipse |
|---|
comment:2 Changed 17 years ago by
| Milestone: | → PG-Eclipse-1.0.7 |
|---|---|
| Priority: | major → minor |
comment:3 Changed 11 years ago by
| Milestone: | PG-Eclipse-1.0.7 |
|---|
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.0.7 deleted