When XSB is processing a goal specified by the -e command line argument, pressing Ctrl-C stops the computation instead of creating a break. Pressing Ctrl-D at that point (or typing end_of_file.) does not resume the computation, but exits XSB. I expected the behavior of Ctrl-C to be the same as if I had typed the query at the prompt.
I was testing this a little more, and I was wrong about the cause. It's not whether the goal is specified via -e. I'm unclear why sometimes I'm getting a break and sometimes the computation is being halted.
Here's an example where it works as expected:
Here's an example where I press Ctrl-C and the computation stops:
What OS are you using? (ctrl-c can act a little differently)
On Thu, Nov 1, 2018 at 11:12 AM Ed Schwartz edmcman@users.sourceforge.net
wrote:
Related
Bugs: #242
Distributor ID: Ubuntu
Description: Ubuntu 18.04.1 LTS
Release: 18.04
Codename: bionic