From 69e8530879337adc82df7398e25f6bc3b4f00773 Mon Sep 17 00:00:00 2001 From: Andrej Babic Date: Tue, 31 Mar 2020 13:47:14 +0200 Subject: [PATCH] Remove unused config parameter --- core-writer/src/config.cpp | 3 --- 1 file changed, 3 deletions(-) diff --git a/core-writer/src/config.cpp b/core-writer/src/config.cpp index eb0b880..de6759c 100644 --- a/core-writer/src/config.cpp +++ b/core-writer/src/config.cpp @@ -22,7 +22,4 @@ namespace config { hsize_t dataset_increase_step = 1000; // To which value to initialize a dataset size. hsize_t initial_dataset_size = 1000; - - // Delay in between attempts to see if the requred parameters were passed over the REST api. - uint32_t parameters_read_retry_interval = 300; }