diff -r 2b768d52bc7f tools/pygrub/src/pygrub
--- a/tools/pygrub/src/pygrub	Sun Jul 25 22:20:47 2010 +0100
+++ b/tools/pygrub/src/pygrub	Mon Jul 26 15:57:40 2010 +0200
@@ -779,8 +779,12 @@ if __name__ == "__main__":
         data = fs.open_file(chosencfg["kernel"]).read()
         (tfd, bootcfg["kernel"]) = tempfile.mkstemp(prefix="boot_kernel.",
                                                     dir=output_directory)
-        os.write(tfd, data)
-        os.close(tfd)
+        try:
+            os.write(tfd, data)
+            os.close(tfd)
+        except OSError, e:
+            print >>sys.stderr, "pyGrub: %s" % str(e)
+            sys.exit(1)
 
     if chosencfg["ramdisk"]:
         if not_really:
@@ -789,8 +793,12 @@ if __name__ == "__main__":
             data = fs.open_file(chosencfg["ramdisk"],).read()
             (tfd, bootcfg["ramdisk"]) = tempfile.mkstemp(
                 prefix="boot_ramdisk.", dir=output_directory)
-            os.write(tfd, data)
-            os.close(tfd)
+            try:
+                os.write(tfd, data)
+                os.close(tfd)
+            except OSError, e:
+                print >>sys.stderr, "pyGrub: %s" % str(e)
+                sys.exit(1)
     else:
         initrd = None