How to terminate server after start

[razetime]

running the query server(Port). starts the server, however the scryer prolog process runs even after Ctrl-Z, Ctrl-C and Ctrl-D are pressed. What is the intended way to stop the server?

[triska]

On OSX and Debian, I can press Ctrl-z to suspend the process and return to the terminal. On the terminal, I can enter:

$ kill -9 %1

to stop the server. Does this work for you?

[razetime]

Yes, on ubuntu this is what I was using. I was wondering if there was a simpler way to do so.

[triska]

Ideally, socket_server_accept/4 can be interrupted with Ctrl-c. There is an existing Scryer Prolog issue for this: mthom/scryer-prolog#485

Making this work would be an awesome contribution to Scryer Prolog!