server/peer.c, server/tripe.c: Add `p_unbind' to tear down the UDP sockets.

[tripe] / server / tripe.c

diff --git a/server/tripe.c b/server/tripe.c
index 0252aa691c950cd8e76d4902ae9d8bfce1316104..931c0fca2a304296fb022dd4937d9d87348c2423 100644 (file)
--- a/server/tripe.c
+++ b/server/tripe.c
@@ -435,6 +435,7 @@ int main(int argc, char *argv[])
   lp_run();
 
   p_destroyall();
+  p_unbind();
   a_unlisten();
   ps_quit();
   return (0);