how to manually restart or stop virtuoso from commandline

Question

I have a new installed Virtuoso (from github > 7.2.4) on a Debian jessie system. It starts properly after boot.

How to stop, start, and restart manually the virtuoso web server? It starts after reboot. How can this be achieved from the command line?

How is the automatic restart after boot done? Does it use /etc/init.d/ or systemd?

I cannot find files, neither in systemd nor in service? it seems possible to enable in systemd (on a different Debian stretch box), but not on Debian jessie.

thank you for help!

Answer 1

I found a usable solution for my use case in a message on the virtuoso-users mailing list

isql 1111
shutdown();

This shuts down Virtuoso after which you can start it again via virtuoso-t