[mutter] Throw away result of write(); it's not important

[Owen Taylor <otaylor src gnome org>]

commit a321f4c842d673450e7f658b86b051407f7de7e5
Author: Thomas Thurman <tthurman gnome org>
Date:   Tue Jan 5 15:44:01 2010 -0500

    Throw away result of write(); it's not important

 src/core/main.c |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/src/core/main.c b/src/core/main.c
index 2a616be..e92f567 100644
--- a/src/core/main.c
+++ b/src/core/main.c
@@ -453,7 +453,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;
     }