Check the return value of read(); Fixes #336.

2008-09-11 15:21:19 +01:00
parent a4aeb6e815
commit 7c2c80af1b
1 changed files with 3 additions and 1 deletions
--- a/src/core/random-variable.cc
+++ b/src/core/random-variable.cc
@@ -196,7 +196,9 @@ void RandomVariableBase::GetRandomSeeds(uint32_t seeds[6])
        {
          for (int i = 0; i < 6; ++i)
            {
-              read(RandomVariableBase::devRandom, &seeds[i], sizeof(seeds[i]));
+              ssize_t bytes_read = read (RandomVariableBase::devRandom,
+                                         &seeds[i], sizeof (seeds[i]));
+              NS_ASSERT (bytes_read == sizeof (seeds[i]));
            }
          if (RngStream::CheckSeed(seeds)) break; // Got a valid one
        }