{master} remove fishnet Client.python

pull/7697/head
Thibault Duplessis 2020-12-03 09:24:59 +01:00
parent 0e3d35d9ac
commit ce5de77d90
3 changed files with 0 additions and 6 deletions

View File

@ -54,7 +54,6 @@ object Client {
case class Instance(
version: Version,
python: Python,
engines: Engines,
ip: IpAddress,
seenAt: DateTime
@ -62,7 +61,6 @@ object Client {
def update(i: Instance): Option[Instance] =
if (i.version != version) i.some
else if (i.python != python) i.some
else if (i.engines != engines) i.some
else if (i.ip != ip) i.some
else if (i.seenAt isAfter seenAt.plusMinutes(5)) i.some

View File

@ -20,7 +20,6 @@ object JsonApi {
def instance(ip: IpAddress) =
Client.Instance(
fishnet.version,
fishnet.python | Client.Python(""),
Client.Engines(
stockfish = Client.Engine(stockfish.name)
),

View File

@ -88,9 +88,6 @@ final private class Monitor(
instances.groupMapReduce(_.engines.stockfish.name)(_ => 1)(_ + _) foreach { case (s, nb) =>
stockfish(s).update(nb)
}
instances.groupMapReduce(_.python.value)(_ => 1)(_ + _) foreach { case (s, nb) =>
python(s).update(nb)
}
}
private def monitorStatus(): Funit =