diff --git a/src/motif/server/main.c b/src/motif/server/main.c index e380c793d2bdd0326b41dc7a6eb3cd9560f1c1b1..c5e42bac237599667ba4e3bdbb44d508443ce38d 100644 --- a/src/motif/server/main.c +++ b/src/motif/server/main.c @@ -88,9 +88,9 @@ void close_sockets() unlink(socket_path); } -void server_shutdown() +void server_shutdown(int signal) { - fprintf(stderr,"Caught signal.\n"); + fprintf(stderr,"Caught signal %d.\n", signal); close_sockets(); exit(0); }