Add restartIfNeeded in childprocess request (#614)

sofurihafe · web-flow · commit 64e81707bb1a · 2022-07-29T17:54:40.000Z
diff --git a/utbot-instrumentation/src/main/kotlin/org/utbot/instrumentation/ConcreteExecutor.kt b/utbot-instrumentation/src/main/kotlin/org/utbot/instrumentation/ConcreteExecutor.kt
@@ -314,6 +314,7 @@ class ConcreteExecutor<TIResult, TInstrumentation : Instrumentation<TIResult>> p
      * @see [org.utbot.instrumentation.instrumentation.coverage.CoverageInstrumentation].
      */
     fun <T : Protocol.Command, R> request(requestCmd: T, action: ((Protocol.Command) -> R)): R = runBlocking {
+        restartIfNeeded()
         awaitCommand(sendCommand(requestCmd), action)
     }
 

Original file line number	Diff line number	Diff line change
`@@ -314,6 +314,7 @@ class ConcreteExecutor<TIResult, TInstrumentation : Instrumentation<TIResult>> p`
`314`	`314`	`* @see [org.utbot.instrumentation.instrumentation.coverage.CoverageInstrumentation].`
`315`	`315`	`*/`
`316`	`316`	`fun <T : Protocol.Command, R> request(requestCmd: T, action: ((Protocol.Command) -> R)): R = runBlocking {`
	`317`	`+ restartIfNeeded()`
`317`	`318`	`awaitCommand(sendCommand(requestCmd), action)`
`318`	`319`	`}`
`319`	`320`