[gnunet-scheme] 254/324: doc: Document how to disconnect from the NSE server.

[gnunet]

This is an automated email from the git hooks/post-receive script.

maxime-devos pushed a commit to branch master
in repository gnunet-scheme.

commit 41bbed8f3f7d719f141a228c7c75f0ef29e4aec9
Author: Maxime Devos <maximedevos@telenet.be>
AuthorDate: Fri Sep 10 14:59:41 2021 +0200

    doc: Document how to disconnect from the NSE server.
    
    * doc/scheme-gnunet.tm (Estimation of the size of the network):
      Document the 'disconnect!' procedure.
---
 doc/scheme-gnunet.tm | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/doc/scheme-gnunet.tm b/doc/scheme-gnunet.tm
index cc6d835..d8b0b81 100644
--- a/doc/scheme-gnunet.tm
+++ b/doc/scheme-gnunet.tm
@@ -565,11 +565,13 @@
   the procedure <scm|estimate> can be called on the server object to return
   the latest available estimate.<space|1em>If the
   <with|font-shape|italic|server object> doesn't have an estimate yet, that
-  procedure will return <scm|#false> instead of an estimate.<space|1em>When
-  the connection is lost, the (optional) thunk <var|disconnected> is called
-  and <scm|(gnu gnunet nse client)> will retry connecting.
+  procedure will return <scm|#false> instead of an estimate.
 
-  <todo|disconnecting>
+  When the connection is lost, the (optional) thunk <var|disconnected> is
+  called and <scm|(gnu gnunet nse client)> will retry
+  connecting.<space|1em>To close the current connection, if any, and stop
+  reconnecting, the idempotent procedure <scm|disconnect!> can be called on
+  the server object.
 
   The estimate object has a number of accessors:
 
@@ -599,8 +601,6 @@
   <scm|estimate:standard-deviation> can be used to put probablistic error
   bounds on the number of peers on the network. <todo|example>
 
-  <todo|reconnecting, disconnecting, <text-dots>>
-
   <todo|what if the server sends bogus data (e.g. negative)>
 
   <chapter|Implementation details>

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.