Journal the PRNG seed

diff --git a/include/journal.h b/include/journal.h
index 15ba5520d77ba8d4800186bc2e4dd233f9422fb4..bd35399fbf05885d4d01c8386fc793b0f9bd2c28 100644 (file)
--- a/include/journal.h
+++ b/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);
 

diff --git a/src/lib/subs/journal.c b/src/lib/subs/journal.c
index 06028d4a87abce844ba58e21ff9f1dc60e1062de..7758859eaa6faeeabab6ae950daad45dbebe2d0f 100644 (file)
--- a/src/lib/subs/journal.c
+++ b/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)
 {

diff --git a/src/server/main.c b/src/server/main.c
index 42e8b31ad626a77f0f99d3dc83048465a1d4b496..1a794af8397e1eca487ec3d31ef53bb47c4ffab8 100644 (file)
--- a/src/server/main.c
+++ b/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();