diff options
| -rw-r--r-- | doc/manager-api.txt | 3 |
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. |