changeset 163:fb516794ee28

*** empty log message ***
author pin
date Thu, 28 Aug 2008 17:12:49 +0900
parents 2bd3264abf55
children 3841cc75b808
files rep/SessionManager.java
diffstat 1 files changed, 6 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/rep/SessionManager.java	Thu Aug 28 16:54:54 2008 +0900
+++ b/rep/SessionManager.java	Thu Aug 28 17:12:49 2008 +0900
@@ -45,7 +45,7 @@
 public class SessionManager implements ConnectionListener, REPActionListener{
 	
 	
-	private SessionList sessionlist;
+	//private SessionList sessionlist;
 	private List<Session> sessionList;
 	private SessionManagerGUI gui;
 	private Selector selector;
@@ -57,7 +57,7 @@
 	private String maxHost;
 	private boolean isSimulation;
 	private List<PacketSet> packetSetList;
-	private List<SessionManagerNode> managerList;
+	//private List<SessionManagerNode> managerList;
 	private static int temp_port;
 	private static int send_port;
 	
@@ -80,7 +80,7 @@
 		ssc.register(selector, SelectionKey.OP_ACCEPT);
 
 		
-		sessionlist = new SessionList();
+		//sessionlist = new SessionList();
 		sessionList = new LinkedList<Session>();
 		smList = new SessionManagerList();
 		//ownEditorList = new EditorList();
@@ -249,7 +249,7 @@
 			SessionList receivedSessionList = decoder.decode(receivedCommand.string);
 
 			//SessionListへ追加し変換テーブルを生成する。
-			sessionlist.update(channel, receivedSessionList);
+			//sessionlist.update(channel, receivedSessionList);
 
 			//myHost を設定。
 			if(myHost == null) setMyHostName(getLocalHostName(channel));
@@ -305,7 +305,7 @@
 			SessionList receivedSessionList3 = decoder3.decode(receivedCommand.string);
 
 			//SessionListへ追加し変換テーブルを生成する。
-			sessionlist.update(channel, receivedSessionList3);
+			//sessionlist.update(channel, receivedSessionList3);
 
 			smList.sendExcept(channel, receivedCommand);
 
@@ -468,7 +468,7 @@
 
 	public void ActionOccured(REPActionEvent event) {
 		
-		REPSocketChannel channel = event.getEditorChannel();
+		REPSocketChannel<REPCommand> channel = event.getEditorChannel();
 		int sid = event.getSID();
 		Session session = sessionlist.getSession(sid);
 		if(session.hasOwner()){