From fd8dac1452773b24b9f7a5d8d9e3d5cf1abdcf2f Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 9 Jun 2018 13:21:29 +0100
Subject: [PATCH] admin.scala: Make `Connection' be its own publisher type.

---
 admin.scala | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/admin.scala b/admin.scala
index 56f1c30..fab8305 100644
--- 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.
 
+  type Pub = Connection;
+
   class Job extends Iterator[Seq[String]] {
     private[Connection] val ch = new Channel[JobMessage];
     private[this] var nextmsg: Option[JobMessage] = None;
-- 
2.11.0