Merge remote-tracking branch 'origin/develop' into develop

2026-05-09 14:28:43 +00:00 · 2017-09-28 15:23:50 +13:00
parent 2bf318a122 8810554ce9
commit 74241ee819
8 changed files with 27 additions and 13 deletions
@@ -146,6 +146,8 @@ public class ServerAdvertiser {
    public void unregister(){
        if (serviceInfo != null)
            jmdnsInstance.unregisterService(serviceInfo);
+
+        repositoryClient.unregister();
    }

    /**