krr / IDP / issues / #713 - Ctrl-c no longer interrupts MinisatID — Bitbucket

Issue #713 resolved

JoD created an issue 2014-03-24

See attached file. Broes' first guess is that this is due to the changes needed for XSB to work.

toekenning_eindwerken.idp

Comments (5)

Joachim Jansen
Waiting for response from people from XSB
- 2014-03-25T16:29:04+00:00
Broes De Cat
Maar ondertussen kunnen we de handlers wel gewoon terug overschrijven als XSB klaar is?
- 2014-03-25T18:17:27+00:00
Joachim Jansen
Bedoel je momenteel de veranderingen reverten totdat de mensen van XSB antwoorden en dan de de handler volledig implementeren?
- 2014-03-26T09:33:26+00:00
Broes De Cat
- changed status to resolved
Fixes ~~#713~~ by resetting signal handler after running xsb.

→ <<cset 8b9a2fc90dc9>>
- 2014-03-26T10:48:06+00:00
Broes De Cat
Merged in fix_xsb_interrupt (pull request #234)

Fixes ~~#713~~ by resetting signal handler after running xsb.

→ <<cset 480d34fc5f3f>>
- 2014-03-26T18:03:19+00:00
Log in to comment

Assignee: Joachim Jansen

Type: bug

Priority: minor

Status: resolved

Component: –

Version: –

Votes: 0

Watchers: 2

Jira: the preferred issue tracker for Bitbucket. Join the team!