diff options
| author | Markus Uhlin <markus@nifty-networks.net> | 2024-01-04 01:38:36 +0100 |
|---|---|---|
| committer | Markus Uhlin <markus@nifty-networks.net> | 2024-01-04 01:38:36 +0100 |
| commit | 7fe2f2816de9c641822ae005f724ba084f62a5d9 (patch) | |
| tree | 141133904327e3042f96b1a68b0b4801e555ee81 /FICS | |
| parent | 47cd5a8433d9f22718f54fa52d545a4cda369af0 (diff) | |
Marked TerminateServer() '__dead'
Diffstat (limited to 'FICS')
| -rw-r--r-- | FICS/ficsmain.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/FICS/ficsmain.c b/FICS/ficsmain.c index d40dd0a..bdbba7e 100644 --- a/FICS/ficsmain.c +++ b/FICS/ficsmain.c @@ -87,7 +87,7 @@ GetArgs(int argc, char *argv[]) } } -PRIVATE void +PRIVATE __dead void TerminateServer(int sig) { fprintf(stderr, "FICS: Got signal %d\n", sig); |