# HG changeset patch
# User one
# Date 1286799166 -32400
# Node ID 7f0d4e49eaf9d89f7950ee0847a3ebd7e8880e61
# Parent  e252d092b7208540a0acf80fb0d2b0121738162c
add assert

diff -r e252d092b720 -r 7f0d4e49eaf9 test/sematest/TestSessionManager.java
--- a/test/sematest/TestSessionManager.java	Mon Oct 11 21:09:43 2010 +0900
+++ b/test/sematest/TestSessionManager.java	Mon Oct 11 21:12:46 2010 +0900
@@ -7,6 +7,7 @@
 import rep.channel.REPServerSocketChannel;
 import rep.gui.SessionManagerEvent;
 import rep.gui.SessionManagerGUI;
+import test.Text;
 
 
 public class TestSessionManager {
@@ -125,6 +126,10 @@
 		for(SessionManager master:sessionManagers) {
 			master.serverStop();
 		}
+		Text t = editors[0].text;
+		for(TestEditor editor:editors) {
+			assert (editor.text.equals(t));
+		}
 	}
 	
 	public static void main(String[] args){