diff rep/EditorPlus.java @ 324:e235998427a6 before-merge-fix

try to fix merger
author kono
date Sat, 11 Oct 2008 16:31:03 +0900
parents dfed28488274
children ef4afcae0c92
line wrap: on
line diff
--- a/rep/EditorPlus.java	Fri Oct 10 18:04:09 2008 +0900
+++ b/rep/EditorPlus.java	Sat Oct 11 16:31:03 2008 +0900
@@ -35,6 +35,10 @@
 	public int getSID() {
 		return sid;
 	}
+
+	public boolean hasSession() {
+		return sid != -1;
+	}
 	
 	public String toString(){
 		return ("Editor:" + eid);