We ended up changing the port number. But do we have to change it anywhere else, for shutdown to work properly?
-- JHHL --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
