id is mandatory in json rpc responses

2026-09-08 11:13:23 +02:00 · 2020-05-11 16:51:34 +02:00
parent e84e414328
commit 781584d137
7 changed files with 97 additions and 73 deletions
@@ -119,7 +119,7 @@ class NetworkClient(configuration: xsbti.AppConfiguration, arguments: List[Strin
  }

  def onResponse(msg: JsonRpcResponseMessage): Unit = {
-    msg.id foreach {
+    msg.id match {
      case execId if pendingExecIds contains execId =>
        onReturningReponse(msg)
        lock.synchronized {