X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Flib%2Fmisc%2Fcbits%2FwriteDescriptor.c;h=d6f14d28b55818e02389c547e42aaf0d58e69690;hb=438596897ebbe25a07e1c82085cfbc5bdb00f09e;hp=28d9603dee8109eae227c615f32473f6ae7be358;hpb=19a4b25b9ecd4a05e784110e9429e67d5643f2c2;p=ghc-hetmet.git

diff --git a/ghc/lib/misc/cbits/writeDescriptor.c b/ghc/lib/misc/cbits/writeDescriptor.c
index 28d9603..d6f14d2 100644
--- a/ghc/lib/misc/cbits/writeDescriptor.c
+++ b/ghc/lib/misc/cbits/writeDescriptor.c
@@ -8,8 +8,9 @@
 #endif
 
 #define NON_POSIX_SOURCE
-#include "rtsdefs.h"
+#include "Rts.h"
 #include "ghcSockets.h"
+#include "stgio.h"
 
 StgInt
 writeDescriptor(I_ fd, A_ buf, I_ nbytes)
@@ -19,7 +20,56 @@ writeDescriptor(I_ fd, A_ buf, I_ nbytes)
     while ((dumped = write((int) fd, (char *) buf, (int) nbytes)) < 0) {
       if (errno != EINTR) {
 	  cvtErrno();
-	  stdErrno();
+	  switch (ghc_errno) {
+	  default:
+	      stdErrno();
+	      break;
+	  case GHC_EBADF:
+       	      ghc_errtype = ERR_INVALIDARGUMENT;
+              ghc_errstr  = "Not a valid write descriptor";
+	      break;
+	  case GHC_EDQUOT:
+       	      ghc_errtype = ERR_RESOURCEEXHAUSTED;
+              ghc_errstr  = "Disk quota exhausted";
+	      break;
+	  case GHC_EFAULT:
+       	      ghc_errtype = ERR_INVALIDARGUMENT;
+              ghc_errstr  = "Data not in writeable part of user address space";
+	      break;
+	  case GHC_EFBIG:
+	      ghc_errtype = ERR_RESOURCEEXHAUSTED;
+	      ghc_errstr  = "Maximum process or system file size exceeded";
+	      break;
+	  case GHC_EINVAL:
+	      ghc_errtype = ERR_INVALIDARGUMENT;
+	      ghc_errstr  = "Seek pointer associated with descriptor negative";
+	      break;
+	  case GHC_EIO:
+	      ghc_errtype = ERR_SYSTEMERROR;
+	      ghc_errstr  = "I/O error occurred while writing to file system";
+	      break;
+	  case GHC_ENOSPC:
+	      ghc_errtype = ERR_RESOURCEEXHAUSTED;
+	      ghc_errstr  = "No space left on device";
+	      break;
+	  case GHC_ENXIO:
+	      ghc_errtype = ERR_SYSTEMERROR;
+	      ghc_errstr  = "Hangup occurred";
+	      break;
+	  case GHC_EPIPE:
+	      ghc_errtype = ERR_SYSTEMERROR;
+	      ghc_errstr  = "Write to not read pipe/unconnected socket caught";
+	      break;
+	  case GHC_ERANGE:
+	      ghc_errtype = ERR_INVALIDARGUMENT;
+	      ghc_errstr  = "Too much or too little written to descriptor";
+	      break;
+	  case GHC_EAGAIN:
+	  case GHC_EWOULDBLOCK:
+	      ghc_errtype = ERR_OTHERERROR;
+	      ghc_errstr  = "No data could be written immediately";
+	      break;
+	  }
 	  return -1;
       }
     }