XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Commit [r2689] Maximize Restore History

Slightly modified how keyboard interrupts are handled. In subp.c it

seemed that the embedded call to signal got lost, so XSB could only
intercept one keyboard interrupt and thereafter would abort. xcallxsb
was changed to treat keyboard interrupt and treat it as an abort.
Abort is returned to the c-caller simply as failure.

Authored by: dwarren 2001-11-02

Browse code at this revision

Parent: [r2688]

Child: [r2690]