Give init_server() internal linkage
authorMarkus Armbruster <armbru@pond.sub.org>
Sun, 10 Jul 2011 15:41:53 +0000 (17:41 +0200)
committerMarkus Armbruster <armbru@pond.sub.org>
Sun, 10 Jul 2011 19:17:01 +0000 (21:17 +0200)
include/prototypes.h
src/server/main.c

index a520ea206a5c7bd3d620bf82dcec6961d99b36e9..6012026853746b8ff13e36686c3473e86d424842 100644 (file)
@@ -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);
 
index 5ce3b02ece6c81dbe9819466d51cdd3bc7578a0e..72ca45c379f9cc8b30a1ffb57e39110a300c668b 100644 (file)
@@ -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);