admin.scala: Make `Connection' be its own publisher type.

diff --git a/admin.scala b/admin.scala
index 56f1c30338e1980b04b839b3bd5be7f7f82b074a..fab8305f68f1792eda16bb2887d21308106c3af2 100644 (file)
--- a/admin.scala
+++ b/admin.scala
@@ -92,6 +92,8 @@ class Connection(val in: Reader, val out: Writer)
   val jobmap = new HashMap[String, this.Job]; // Maps tags to extant jobs.
   var bgseq = 0;                       // Next background job tag.
 
   val jobmap = new HashMap[String, this.Job]; // Maps tags to extant jobs.
   var bgseq = 0;                       // Next background job tag.
 

+  type Pub = Connection;
+

   class Job extends Iterator[Seq[String]] {
     private[Connection] val ch = new Channel[JobMessage];
     private[this] var nextmsg: Option[JobMessage] = None;
   class Job extends Iterator[Seq[String]] {
     private[Connection] val ch = new Channel[JobMessage];
     private[this] var nextmsg: Option[JobMessage] = None;