X-Git-Url: https://git.distorted.org.uk/~mdw/tripe-android/blobdiff_plain/0157de026e802e94a2d0db0421b02ffca986c616..HEAD:/admin.scala?ds=sidebyside diff --git a/admin.scala b/admin.scala index 321fb56..9796cd9 100644 --- a/admin.scala +++ b/admin.scala @@ -113,7 +113,7 @@ object Connection extends Hook[AsyncMessage] override def next(): Seq[String] = { fetchNext(); nextmsg match { - case None => ??? + case None => unreachable; case Some(JobOK) => throw new NoSuchElementException; case Some(JobFail(msg)) => throw new CommandFailed(msg); case Some(JobLostConnection) => throw new ConnectionLostException;