server/admin.c: Introduce `a_unlisten' to shut down the admin socket.

[tripe] / server / tripe.h

diff --git a/server/tripe.h b/server/tripe.h
index bd70bb84b4751476f578fa28ac685a84ab1eca2a..9d15cb456c2f844cc4b1eb27327ab02a5b7378bf 100644 (file)
--- a/server/tripe.h
+++ b/server/tripe.h
@@ -1357,6 +1357,17 @@ extern void a_daemon(void);
 extern void a_listen(const char */*sock*/,
                     uid_t /*u*/, gid_t /*g*/, mode_t /*m*/);
 
+/* --- @a_unlisten@ --- *
+ *
+ * Arguments:  ---
+ *
+ * Returns:    ---
+ *
+ * Use:                Stops listening to the administration socket and removes it.
+ */
+
+extern void a_unlisten(void);
+
 /* --- @a_switcherr@ --- *
  *
  * Arguments:  ---