empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix journalling of output ids

Browse source
This commit is contained in:
Markus Armbruster 2008-08-02 09:04:16 -04:00
parent 6be2e3f8c5
commit 1cd3179b82
3 changed files with 26 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

2
include/journal.h
View file

@ -42,7 +42,7 @@ int journal_reopen(void);
void journal_login(void);
void journal_logout(void);
void journal_prng(unsigned);
void journal_output(struct player *, char *);
void journal_output(struct player *, int, char *);
void journal_input(char *);
void journal_command(char *);
void journal_update(int);