[Virtuoso-users] Cannot shut down Virtuoso server

[Ghazzaoui, R. (NIH/NLM/L. [C] <gha...@ma...>]

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