Searching the Help
To search for information in the Help, type a word or phrase in the Search box. When you enter a group of words, OR is inferred. You can use Boolean operators to refine your search.
Results returned are case insensitive. However, results ranking takes case into account and assigns higher scores to case matches. Therefore, a search for "cats" followed by a search for "Cats" would return the same number of Help topics, but the order in which the topics are listed would be different.
Words and Phrases
| 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. |
Using Boolean Operators
| Search for | Operator | Example |
|---|---|---|
|
Two or more words in the same topic |
|
|
| Either word in a topic |
|
|
| Topics that do not contain a specific word or phrase |
|
|
| Topics that contain one string and do not contain another | ^ (caret) |
cat ^ mouse
|
| A combination of search types | ( ) parentheses |
|
Restart servlets
Servlets may be restarted on demand or at a scheduled interval without a restart of the entire Service Manager instance. This releases all resources such as memory and locks allocated by sessions of this servlet and creates a fresh servlet.
Command line:
sm -restart [-group:<group>][-host:<host>][-pid:<pid>]
This means an existing servlet is shut down and another one with the same configuration is started again. In order to prevent multiple servlets from being restarted at the same time, the restart time can be randomized using the -restartRandMax parameter.
All sessions working on an existing servlet are terminated and will not be automatically restored. Therefore, there is the risk of losing session data not yet stored in the database. For user sessions, a warning message can therefore be issued minutes before the scheduled restart by using the -restartGraceInterval parameter.
Related topics
Scheduled restart of Service Manager processes
Parameter: restartGraceInterval
