[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.