Fix crash when server name is not available. Added help for SET TRACE.