keys.scala, etc.: Make merging public keys have a progress bar.

[tripe-android] / admin.scala

diff --git a/admin.scala b/admin.scala
index 321fb56..9796cd9 100644 (file)
--- 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;