diff --git a/docs/manual.html b/docs/manual.html index ed5d1ebdc..6fb6d72c2 100755 --- a/docs/manual.html +++ b/docs/manual.html @@ -314,6 +314,9 @@ timeout can be set with set_setti

abort()

+
+session_proxy abort();
+

In case you want to destruct the session asynchrounously, you can request a session destruction proxy. If you don't do this, the destructor of the session object will block while the trackers are contacted. If you keep one session_proxy to the diff --git a/docs/manual.rst b/docs/manual.rst index 0a74dc0d8..f2ea7bf2f 100755 --- a/docs/manual.rst +++ b/docs/manual.rst @@ -161,6 +161,10 @@ timeout can be set with ``set_settings()``. abort() ------- +:: + + session_proxy abort(); + In case you want to destruct the session asynchrounously, you can request a session destruction proxy. If you don't do this, the destructor of the session object will block while the trackers are contacted. If you keep one ``session_proxy`` to the