From e21514db53e3d03ffc3f1d55b4d74e131cde62e0 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Wed, 26 Jun 2019 22:50:03 +0100
Subject: [PATCH] Treat mDNS withdrawal as a kind of disconnection (?)

---
 packages/server/src/disco.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/server/src/disco.js b/packages/server/src/disco.js
index 21998c9..b63cb80 100644
--- a/packages/server/src/disco.js
+++ b/packages/server/src/disco.js
@@ -214,6 +214,7 @@ spawn named 'uplinkSelection' {
           react {
             assertSelectedUplink(link);
             assert C.ToServer(C.Loopback(overlayId), OverlayLink(OverlayNode(localId), peer));
+            stop on retracted peer CONNECT(null);
             stop on retracted P.Envelope(managementScope, Federation.UplinkConnected(link)) {
               CONNECT(peer);
             }