Journal the PRNG seed

include/journal.h

@@ -39,6 +39,7 @@ void journal_shutdown(void);
 int journal_reopen(void);
 void journal_login(void);
 void journal_logout(void);
+void journal_prng(unsigned);
 void journal_input(char *);
 void journal_update(int);
 

src/lib/subs/journal.c

@@ -40,6 +40,7 @@
  *
  *     startup
  *     shutdown
+ *     prng NAME SEED
  *     login CNUM HOSTADDR USER
  *     logout CNUM
  *     input INPUT
@@ -143,6 +144,12 @@ journal_reopen(void)
     return 0;
 }
 
+void
+journal_prng(unsigned seed)
+{
+    journal_entry("prng BSD %d", seed);
+}
+
 void
 journal_login(void)
 {

src/server/main.c

@@ -263,6 +263,7 @@ main(int argc, char **argv)
     }
 #endif /* !_WIN32 */
     start_server(flags);
+    journal_prng(seed);
 
     for (;;) {
 	sig = empth_wait_for_signal();