Minor update regarding the #3834

This commit is contained in:
Miroslav Stampar
2019-07-19 12:24:34 +02:00
parent 0bc5069042
commit 198ceb8ba1
2 changed files with 3 additions and 1 deletions

View File

@@ -1591,6 +1591,8 @@ def _cleanupOptions():
left, right = part.split('=', 1)
conf.rParam.append(left)
kb.randomPool[left] = filterNone(_.strip() for _ in right.split(','))
else:
conf.rParam.append(part)
else:
conf.rParam = conf.rParam.replace(" ", "")
conf.rParam = re.split(PARAMETER_SPLITTING_REGEX, conf.rParam)