diff options
Diffstat (limited to 'source3/wrepld/server.c')
| -rw-r--r-- | source3/wrepld/server.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source3/wrepld/server.c b/source3/wrepld/server.c index e39fb148d6..144a5b570c 100644 --- a/source3/wrepld/server.c +++ b/source3/wrepld/server.c @@ -135,7 +135,7 @@ static BOOL dump_core(void) /**************************************************************************** exit the server ****************************************************************************/ -void exit_server(const char *reason) +void exit_server(char *reason) { static int firsttime=1; |