-
Lubomir Bulej authored
ClientServerRunner, ClientServerEvaluationRunner: pass also "disl." properties to the instrumentation server.
aa04b4f5
ClientServerRunner, ClientServerEvaluationRunner: pass also "disl." properties to the instrumentation server.