Changes to ticket ec1b4f41d5

By kinaba on 2012-07-13 15:26:43. See also: artifact content, and ticket history

1. Change comment to "Immediately 'A'borting is the solution. May not need to fix. This is needed only when I implemented a time-consuming solver."
2. Change severity to "Minor"
3. Change status to "Open"
4. Change title to "Handle SIGINT."
5. Change type to "Code_Defect"