From 226885a58f67d81fb05e13bde91be8b654479210 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Sat, 15 Jun 2019 15:31:18 +0200
Subject: [PATCH] use save seed

---
 common/command.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/common/command.cc b/common/command.cc
index 89e05b4d..09e75fdf 100644
--- a/common/command.cc
+++ b/common/command.cc
@@ -154,6 +154,9 @@ po::options_description CommandHandler::getGeneralOptions()
 
 void CommandHandler::setupContext(Context *ctx)
 {
+    if (ctx->settings.find(ctx->id("seed")) != ctx->settings.end())
+        ctx->rngstate = ctx->setting<uint64_t>("seed");
+    
     if (vm.count("verbose")) {
         ctx->verbose = true;
     }