# HG changeset patch
# User moel.mich
# Date 1306063677 0
# Node ID f7f0f3bafbb7edbb2cdc6a7a432a85e67342ac9f
# Parent  9c1b242b1c63e2523bd4cf322e06955db54b822f
Fixed Issue 225.

diff -r 9c1b242b1c63 -r f7f0f3bafbb7 Hardware/Ring0.cs
--- a/Hardware/Ring0.cs	Sun May 22 10:41:35 2011 +0000
+++ b/Hardware/Ring0.cs	Sun May 22 11:27:57 2011 +0000
@@ -121,8 +121,13 @@
       if (buffer == null)
         return false;
 
-      using (FileStream target = new FileStream(fileName, FileMode.Create)) {
-        target.Write(buffer, 0, buffer.Length);
+      try {
+        using (FileStream target = new FileStream(fileName, FileMode.Create)) {
+          target.Write(buffer, 0, buffer.Length);
+        }
+      } catch (IOException) { 
+        // for example there is not enough space on the disk
+        return false; 
       }
 
       return true;