[Virtuoso-users] Cannot shut down Virtuoso server

[Ghazzaoui, Ramez (NIH/NLM/LHC) [C]]

Hi there,

I am running virtuoso open-source 5.0.11 on my Linux box and I needed to shut 
it down. I entered isql and typed "shutdown;" The command was apparently sent 
to the server, but nothing happened then. isql is hung (I suppose I can kill it 
with Ctrl-C), and Virtuoso is still running (ps -ef | grep virtuoso)

Is it normal for the shut down procedure to take so long?

-Ramez