From 00b2a86f9af8d57b6ba134cdd6b3a1ce72ea8a5f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 28 Mar 2009 11:13:36 -0400
Subject: Marshalcheck

---
 tests/chat.ur | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'tests/chat.ur')

diff --git a/tests/chat.ur b/tests/chat.ur
index 2d79cd00..b982836d 100644
--- a/tests/chat.ur
+++ b/tests/chat.ur
@@ -25,7 +25,15 @@ fun chat id =
     logTail <- source logHead;
 
     let
-        fun join () = subscribe ch
+        fun getCh () =
+            r <- oneRow (SELECT t.Chan FROM t WHERE t.Id = {[id]});
+            case r.T.Chan of
+                None => error <xml>Channel disappeared</xml>
+              | Some ch => return ch
+
+        fun join () =
+            ch <- getCh ();
+            subscribe ch
 
         fun onload () =
             let
@@ -42,6 +50,7 @@ fun chat id =
             end
 
         fun speak line =
+            ch <- getCh ();
             send ch line
 
         fun doSpeak () =
-- 
cgit v1.2.3