diff --git a/src/monmaptool.cc b/src/monmaptool.cc index 00d2aa2244d..db8efa46475 100644 --- a/src/monmaptool.cc +++ b/src/monmaptool.cc @@ -111,6 +111,7 @@ int main(int argc, const char **argv) } if (create) { + srand(getpid() + time(0)); monmap.generate_fsid(); cout << me << ": generated fsid " << monmap.fsid << std::endl; modified++;