gnunet-svn
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[gnunet-scheme] 03/04: server: Copy useful comment from nse/client.


From: gnunet
Subject: [gnunet-scheme] 03/04: server: Copy useful comment from nse/client.
Date: Wed, 27 Jul 2022 16:29:00 +0200

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 e4c95960ea16bbc1434d379ee0974ce67f0c1f02
Author: Maxime Devos <maximedevos@telenet.be>
AuthorDate: Wed Jul 27 15:22:48 2022 +0200

    server: Copy useful comment from nse/client.
    
    * gnu/gnunet/server.scm (<server>)[parent]: Copy comment from ...
    * gnu/gnunet/nse/client.scm (<server>)[parent]: ... here.
---
 gnu/gnunet/server.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/gnunet/server.scm b/gnu/gnunet/server.scm
index 2d0f909..04de629 100644
--- a/gnu/gnunet/server.scm
+++ b/gnu/gnunet/server.scm
@@ -86,7 +86,7 @@ do anything if @var{server} has been permanently 
disconnected."
       error-handler)
 
     (define-record-type (<server> %make-server server?)
-      (parent <losable>)
+      (parent <losable>) ; for automatic fibers disposal when the <server> is 
unreachable
       ;; terminal-condition: a disconnect has been requested.
       (fields (immutable terminal-condition server-terminal-condition)
              (immutable control-channel server-control-channel))

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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]