[gnunet-scheme] 40/42: doc/service-communication: Add missing argument of make-disconnect!.

[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 d73c8a5395a6a2e44abb79108ef06606dddb4f89
Author: Maxime Devos <maximedevos@telenet.be>
AuthorDate: Sat Sep 10 19:00:31 2022 +0200

    doc/service-communication: Add missing argument of make-disconnect!.
---
 doc/service-communication.tm | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/service-communication.tm b/doc/service-communication.tm
index 1b5ff16..3681d2f 100644
--- a/doc/service-communication.tm
+++ b/doc/service-communication.tm
@@ -652,7 +652,7 @@
   is required for GC reasons.>
 
   <\explain>
-    <scm|(make-disconnect! <var|type?>)><index|make-disconnect!>
+    <scm|(make-disconnect! <var|name> <var|type?>)><index|make-disconnect!>
   <|explain>
     It is assumed the <reference|server object> type is a subtype of
     <scm|<reference|\<less\>server\<gtr\>>>.
@@ -666,6 +666,9 @@
 
     More technically, this <em|maybe-sends> a <scm|disconnect!> message to
     the control channel of the server object.
+
+    <var|name> must be a symbol, it is used in error messages to distinguish
+    between different service types, as the name of the service.
   </explain>
 </body>
 

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