From 737e3712f32262c8eb568ac869e335bb5e7ddf76 Mon Sep 17 00:00:00 2001
From: Frederic Ye <frederic.ye@mlstate.com>
Date: Mon, 30 May 2011 16:57:59 +0200
Subject: [PATCH] [enhance] logout -> redirect to /

---
 src/main.opa | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.opa b/src/main.opa
index 8732505..b04352f 100644
--- a/src/main.opa
+++ b/src/main.opa
@@ -53,7 +53,7 @@ launch(author) =
      broadcast({~author}, Dom.get_value(#entry))
    logout() =
      do broadcast({system}, "{author} has left the room")
-     Dom.transform([#main <- <a class="button" href="/">Reconnect</a>])
+     Client.goto("/")
    <div id=#header><div id=#logo></div>
      <div class="button" onclick={_ -> logout()}>Logout</div>
    </div>