diff --git a/src/core/main.c b/src/core/main.c
index 8ef856e7b..e7256c9a5 100644
--- a/src/core/main.c
+++ b/src/core/main.c
@@ -377,7 +377,9 @@ sigterm_handler (int signum)
 {
   if (sigterm_pipe_fds[1] >= 0)
     {
-      write (sigterm_pipe_fds[1], "", 1);
+      int dummy;
+
+      dummy = write (sigterm_pipe_fds[1], "", 1);
       close (sigterm_pipe_fds[1]);
       sigterm_pipe_fds[1] = -1;
     }