Search for	Example	Results
A single word	`cat`	Topics that contain the word "cat". You will also find its grammatical variations, such as "cats".
A phrase. You can specify that the search results contain a specific phrase.	`"cat food"` (quotation marks)	Topics that contain the literal phrase "cat food" and all its grammatical variations. Without the quotation marks, the query is equivalent to specifying an OR operator, which finds topics with one of the individual words instead of the phrase.

Search for	Operator	Example
Two or more words in the same topic	`AND` `and` `+` (plus symbol) `&` (ampersand)	`cat AND dog` `"cat food"+milk` `"cat food"&"dog food"`
Either word in a topic	`OR` `or` `\|` (pipe)	`cat OR dog` `cat \| dog`
Topics that do not contain a specific word or phrase	`NOT` `not` `!` (exclamation point)	`NOT cat` `! dog`
Topics that contain one string and do not contain another	`^` (caret)	`cat ^ mouse`
A combination of search types	`( )` parentheses	`cat + (dog \| mouse)` `cat \| dog + (! mouse)`

Service Manager

Administer > System configuration parameters > Connection parameters > Startup parameter: shutdown

Startup parameter: shutdown

Startup parameters change the behavior of the Service Manager server. You can always set a startup parameter from the server's operating system command prompt.

Parameter

shutdown

Description

Use this parameter at the operating system command prompt to perform the following actions:

Immediately shut down the Service Manager server.
Shut down a specific Service Manager process by specifying the hostname of the Service Manager server and system process (PID) that you want to shut down.

Note If the host is not specified, the default is localhost.

Warning: Using the shutdown parameter immediately shuts down the Service Manager server without any warning to connected users and could result in data loss or corruption. We recommend you first quiesce a system before shutting it down.

Valid if set from

Server's operating system command prompt

Requires restart of the Service Manager server?

Default value

None

Possible values

None

Example usage

Shut down the local Service Manager server.

Command line: sm -shutdown

Shut down a specific Service Manager process.

Command line: sm -shutdown -host:myhost.myserver.com -PID:1234