| Ticket UUID: | ec1b4f41d581d42849784956068f2765d0f9cf80 | ||
| Title: | Handle SIGINT. | ||
| Status: | Fixed | Type: | Code_Defect |
| Severity: | Minor | Priority: | Immediate |
| Subsystem: | Resolution: | Fixed | |
| Last Modified: | 2012-07-14 12:42:54 | ||
| Version Found In: | |||
| Description & Comments: | |||
| Immediately 'A'borting is the solution. May not need to fix. This is needed only when I implemented a time-consuming solver. | |||