summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/manager-api.txt3
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/manager-api.txt b/doc/manager-api.txt
index 961c39bb..a6c852fa 100644
--- a/doc/manager-api.txt
+++ b/doc/manager-api.txt
@@ -189,8 +189,7 @@ Methods dict GetProperties()
void DestroySession(object session)
- Remove the previously created session. The notifier
- will be informed via its release method.
+ Remove the previously created session.
If an application exits unexpectatly the session
will be automatically destroyed.