Remove unused config parameter

This commit is contained in:
2020-03-31 13:47:14 +02:00
parent be3a605c8c
commit 69e8530879
-3
View File
@@ -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;
}