Give init_server() internal linkage

diff --git a/include/prototypes.h b/include/prototypes.h
index a520ea206a5c7bd3d620bf82dcec6961d99b36e9..6012026853746b8ff13e36686c3473e86d424842 100644 (file)
--- a/include/prototypes.h
+++ b/include/prototypes.h
@@ -44,7 +44,6 @@
 
 /* src/server/main.c */
 extern void shutdwn(int sig);
-extern void init_server(unsigned);
 extern void start_server(int);
 extern void finish_server(void);
 

diff --git a/src/server/main.c b/src/server/main.c
index 5ce3b02ece6c81dbe9819466d51cdd3bc7578a0e..72ca45c379f9cc8b30a1ffb57e39110a300c668b 100644 (file)
--- a/src/server/main.c
+++ b/src/server/main.c
@@ -71,6 +71,7 @@
 
 static void ignore(void);
 static void crash_dump(void);
+static void init_server(unsigned);
 static void create_pidfile(char *, pid_t);
 
 #if defined(_WIN32)
@@ -340,7 +341,7 @@ crash_dump(void)
 /*
  * Initialize for serving, acquire resources.
  */
-void
+static void
 init_server(unsigned seed)
 {
     srandom(seed);