[Virtuoso-users] A clean virtuoso shutdown

[Erick Antezana]

Hi,

 I have virtuoso running on a  linux box (2.6.9-67.0.1.ELsmp #1 SMP Fri 
Nov 30 11:57:43 EST 2007 x86_64 x86_64 x86_64 GNU/Linux). I would like 
to try out the different parameters that could be in the INI file (e.g. 
Striping = 1, SPARQL related, etc) so I need to shutdown virtuoso so 
that the system considers the new INI file. How do I have to cleanly 
shutdown the server? Currently, I am just pressing on CTRL-C on the 
terminal to shutdown virtuoso from where I executed "virtuoso-t -c 
virtuoso.ini -f". Can I also just send  HUP signal? it would be nice to 
have a set of scripts to start/stop/restart the server.

thanks,
Erick