blob: 1d46e15ef9c9ccebbbbec6d70be608e06d4a6d22 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
diff --git src/util/server.c src/util/server.c
index f34bf49f6..7cb3864af 100644
--- src/util/server.c
+++ src/util/server.c
@@ -311,10 +311,13 @@ static void setup_signals(void)
BlockSignals(false, SIGTERM);
#ifndef HAVE_PRCTL
- /* If prctl is not defined on the system, try to handle
- * some common termination signals gracefully */
- CatchSignal(SIGSEGV, sig_segv_abrt);
- CatchSignal(SIGABRT, sig_segv_abrt);
+ /* If prctl is not defined on the system, try to handle
+ * some common termination signals gracefully */
+ (void) sig_segv_abrt; /* unused */
+ /*
+ CatchSignal(SIGSEGV, sig_segv_abrt);
+ CatchSignal(SIGABRT, sig_segv_abrt);
+ */
#endif
}
|