# HG changeset patch
# User one
# Date 1349341276 -32400
# Node ID a405991e39d84c4f45812c678c99a5154bb0151a
# Parent  f3db6edc61ad1d349886c62c9823c04eafdfb473
modified ClaiMode/computeUnaimously method

diff -r f3db6edc61ad -r a405991e39d8 app/models/ClaimModel.java
--- a/app/models/ClaimModel.java	Thu Oct 04 17:04:38 2012 +0900
+++ b/app/models/ClaimModel.java	Thu Oct 04 18:01:16 2012 +0900
@@ -292,6 +292,8 @@
 			} else if (requestsNumber == deniedNumber
 					&& queAndSugStatus.equals(FAILED)) {
 				setProperty(STATUS, FAILED);
+			} else {
+				setProperty(STATUS, UNKNOWN);
 			}
 		} else if (inverseRefutationStatus != null & queAndSugStatus == null) {
 			if (requestsNumber == agreedNumber && inverseRefutationStatus.equals(PASS)) {
@@ -299,13 +301,15 @@
 			} else if (requestsNumber == deniedNumber
 					&& inverseRefutationStatus.equals(FAILED)) {
 				setProperty(STATUS, FAILED);
+			} else {
+				setProperty(STATUS, UNKNOWN);
 			}
 		}else if (inverseRefutationStatus != null & queAndSugStatus != null) {
 			String childStatus = UNKNOWN;
 			if (inverseRefutationStatus.equals(queAndSugStatus)) {
 				childStatus = inverseRefutationStatus;
 			}
-			if ( requestsNumber == agreedNumber && childStatus.equals(PASS) ){
+			if ( requestsNumber == agreedNumber &&childStatus.equals(PASS) ){
 				setProperty(STATUS, PASS);
 			} else if ( requestsNumber == deniedNumber && childStatus.equals(DENIED)) {
 				setProperty(STATUS, FAILED);
diff -r f3db6edc61ad -r a405991e39d8 logs/application.log
--- a/logs/application.log	Thu Oct 04 17:04:38 2012 +0900
+++ b/logs/application.log	Thu Oct 04 18:01:16 2012 +0900
@@ -1,6 +1,42 @@
-2012-10-04 16:02:44,886 - [INFO] - from play in main 
+2012-10-04 17:01:54,758 - [INFO] - from play in main 
 Listening for HTTP on port 80...
 
-2012-10-04 16:02:48,604 - [INFO] - from play in play-akka.actor.default-dispatcher-3 
+2012-10-04 17:01:57,339 - [INFO] - from play in play-akka.actor.default-dispatcher-1 
+Application started (Dev)
+
+2012-10-04 17:02:38,814 - [INFO] - from application in play-akka.actor.default-dispatcher-3 
+Application shutdown...
+
+2012-10-04 17:02:38,836 - [INFO] - from play in play-akka.actor.default-dispatcher-3 
+Application started (Dev)
+
+2012-10-04 17:03:04,500 - [INFO] - from application in play-akka.actor.default-dispatcher-1 
+Application shutdown...
+
+2012-10-04 17:03:04,521 - [INFO] - from play in play-akka.actor.default-dispatcher-1 
 Application started (Dev)
 
+2012-10-04 17:03:16,151 - [INFO] - from application in play-akka.actor.default-dispatcher-3 
+Application shutdown...
+
+2012-10-04 17:03:16,168 - [INFO] - from play in play-akka.actor.default-dispatcher-3 
+Application started (Dev)
+
+2012-10-04 17:03:26,159 - [INFO] - from application in play-akka.actor.default-dispatcher-4 
+Application shutdown...
+
+2012-10-04 17:03:26,183 - [INFO] - from play in play-akka.actor.default-dispatcher-4 
+Application started (Dev)
+
+2012-10-04 17:56:05,425 - [INFO] - from application in play-akka.actor.default-dispatcher-4 
+Application shutdown...
+
+2012-10-04 17:56:05,449 - [INFO] - from play in play-akka.actor.default-dispatcher-4 
+Application started (Dev)
+
+2012-10-04 17:56:30,570 - [INFO] - from application in play-akka.actor.default-dispatcher-1 
+Application shutdown...
+
+2012-10-04 17:56:30,585 - [INFO] - from play in play-akka.actor.default-dispatcher-1 
+Application started (Dev)
+
diff -r f3db6edc61ad -r a405991e39d8 public/viewer/denied.png
Binary file public/viewer/denied.png has changed
diff -r f3db6edc61ad -r a405991e39d8 public/viewer/form.css
--- a/public/viewer/form.css	Thu Oct 04 17:04:38 2012 +0900
+++ b/public/viewer/form.css	Thu Oct 04 18:01:16 2012 +0900
@@ -66,8 +66,14 @@
 div.claim_main,div.mention_main{
 	position:absolute;left:0;top:90;width:600;height:270;
 }
-div.claiminfo div.claim_main{background:-webkit-gradient(linear,left top,left bottom,from(#66a),to(white),color-stop(0.02,white));}
-div.mentioninfo div.mention_main{background:-webkit-gradient(linear,left top,left bottom,from(#599),to(white),color-stop(0.02,white));}
+div.claiminfo div.claim_main{
+	background:-moz-linear-gradient(top,#66a,white 2%,white);
+	background:-webkit-gradient(linear,left top,left bottom,from(#66a),to(white),color-stop(0.02,white));
+}
+div.mentioninfo div.mention_main{
+	background:-moz-linear-gradient(top,#559,white 2%,white);
+	background:-webkit-gradient(linear,left top,left bottom,from(#599),to(white),color-stop(0.02,white));
+}
 div.claim_main textarea,div.mention_main textarea{
 	font-size:20px;
 	position:absolute;
@@ -119,6 +125,7 @@
 
 span.button{
 	background:#eee;
+	background:-moz-linear-gradient(top,#fff,#ddf);
 	background:-webkit-gradient(linear,left top,left bottom,from(#fff),to(#ddf));
 	border:1px solid gray;
 	border-radius:4px;
@@ -127,10 +134,12 @@
 }
 span.button:hover{
 	background:#bbb;
+	background:-moz-linear-gradient(top,#ccc,#aac);
 	background:-webkit-gradient(linear,left top,left bottom,from(#ccc),to(#aac));
 }
 span.button:active{
 	background:#bbb;
+	background:-moz-linear-gradient(top,#bbb,#88b);
 	background:-webkit-gradient(linear,left top,left bottom,from(#bbb),to(#88b));
 }
 div.claim_footer span.button{
@@ -157,13 +166,15 @@
 	border:1px solid gray;
 	text-align:center;
 	background:#eef;
-	background:-webkit-gradient(linear,left top,left bottom,from(eef),to(#bbe));
+	background:-moz-linear-gradient(top,#eef,#bbe);
+	background:-webkit-gradient(linear,left top,left bottom,from(#eef),to(#bbe));
 	color:#888;
 }
 .option1 .option1,.option2 .option2,.option3 .option3{
 	color:black;
 	background:#ccb;
-	background:-webkit-gradient(linear,left top,left bottom,from(ccb),to(#88c));
+	background:-moz-linear-gradient(top,#ccb,#88c);
+	background:-webkit-gradient(linear,left top,left bottom,from(#ccb),to(#88c));
 
 }
 .agree1{position:absolute;right:130;top:4;width:60px;}
diff -r f3db6edc61ad -r a405991e39d8 public/viewer/index.html
--- a/public/viewer/index.html	Thu Oct 04 17:04:38 2012 +0900
+++ b/public/viewer/index.html	Thu Oct 04 18:01:16 2012 +0900
@@ -106,6 +106,8 @@
 function showForm(){
 	$("#claimbody")[0].className="claim_contents";
 	
+      var keys=['title','contents','w','d','b','q','r'];
+      for(var i=0;i<keys.length;i++)$("#claimform_"+keys[i]).val("");
 	$("#claim_author").text(userName);
 	$("#claimvote_option")[0].className="option1";
 	claimUserMap=new HashSet();
@@ -164,22 +166,6 @@
 }
 a.claim:hover{box-shadow:0 0 30px white;}
 
-span.button{
-	background:#eee;
-	background:-webkit-gradient(linear,left top,left bottom,from(#fff),to(#eee));
-	border:1px solid silver;
-	border-radius:4px;
-	text-align:center;
-	cursor:default;	
-}
-span.button:hover{
-	background:#ddd;
-	background:-webkit-gradient(linear,left top,left bottom,from(#eee),to(#ddd));
-}
-span.button:active{
-	background:#bbb;
-	background:-webkit-gradient(linear,left top,left bottom,from(#ccc),to(#bbb));
-}
 </style>
 <div id="loginPopup" style='position:fixed;left:0;top:0;width:100%;height:100%;z-index:10;'>
 <div style='position:absolute;left:0;top:0;width:100%;height:100%;background:black;opacity:0.5'></div>
@@ -215,7 +201,8 @@
 	z-index:5;
 	height:50px;
 	width:100%;
-	background:#334;
+	background:#223;
+	background:-moz-linear-gradient(top,#002,#223);
 	background:-webkit-gradient(linear,left top,left bottom,from(#002),to(#223));
 	color:silver;
 	font-size:40px;
@@ -225,7 +212,8 @@
 	text-align:center;
 	width:160;height:50;
 	cursor:pointer;
-	background:#bbd;
+	background:#334;
+	background:-moz-linear-gradient(top,#224,#334);
 	background:-webkit-gradient(linear,left top,left bottom,from(#224),to(#334));
 	color:silver;
 }
diff -r f3db6edc61ad -r a405991e39d8 public/viewer/viewer.html
--- a/public/viewer/viewer.html	Thu Oct 04 17:04:38 2012 +0900
+++ b/public/viewer/viewer.html	Thu Oct 04 18:01:16 2012 +0900
@@ -1,4 +1,5 @@
 <meta http-equiv="content-type" content="text/html;charset=utf-8" />
+<title>R-Consensus</title>
 <link rel='stylesheet' href="form.css">
 <script src='form.js'></script>
 <script type="text/javascript" src="js/lib/jquery-1.8.1-min.js"></script>
@@ -25,12 +26,14 @@
 	}
 }
 
-var userName=localStorage.userName;
+var userName;
+
 var treeInfo;
 var userList=[];
 var root_id;
 function loadConsensus(id){
 	function onload(json){
+		document.title="R-Consensus : "+json.toulmin.title;
 		$("#header_title").text("R-Consensus : "+json.toulmin.title)
 		if(treeInfo){
 			updateToNew(json);
@@ -53,7 +56,7 @@
 function loadUserList(){
 	$.ajax({
 		url:BASE_URL+"/users/all",
-		success:function(o){userList=o.sort()},
+		success:function(o){userList=o.sort();showUserList([]);},
 		type:"GET",cache:false,
 		error:function(o){console.log("ERROR",o)}
 	});
@@ -61,6 +64,22 @@
 
 
 $(function(){
+	userName=localStorage.userName;
+	if(userName)start();
+	else $("#loginPopup").css("display","block");
+})
+function login(uname){
+	userName=localStorage.userName=uname;
+	start();
+}
+function start(){
+	$.ajax({
+		url:BASE_URL+"/users/create/"+userName,
+		success:function(o){console.log(o)},
+		type:"PUT",cache:false,
+		error:function(o){console.log(o)}
+	});
+	
 	popupInit();
 	jsPlumb.importDefaults({
 		Connector : [ "Straight", { curviness:50 } ],
@@ -68,7 +87,6 @@
 		EndpointStyle : {},
 		Anchors: ["BottomCenter","TopCenter"]
 	});
-	
 	var consensus_id=(location.search.match("[0-9]+")||[])[0];
 	if(consensus_id){
 		root_id=consensus_id;
@@ -78,7 +96,7 @@
 	}else{
 		document.body.innerHTML="<div style='color:white;font-size:64px'>No ClaimID Specified.<br><a href='index.html' style='color:#88f'>back</a></div>";
 	}
-})
+}
 
 function updateToNew(json){
 	var t2=createJSONTreeInfo(json)
@@ -291,6 +309,7 @@
 	height:50px;
 	width:100%;
 	background:#223;
+	background:-moz-linear-gradient(top,#002,#223);
 	background:-webkit-gradient(linear,left top,left bottom,from(#002),to(#223));
 	color:silver;
 	font-size:40px;
@@ -530,4 +549,22 @@
 	<div class='cover' id='mention_cover'></div>
 </div>
 </div>
-</div>
\ No newline at end of file
+</div>
+
+
+
+
+<div id="loginPopup" style='position:fixed;left:0;top:0;width:100%;height:100%;z-index:10;display:none;'>
+<div style='position:absolute;left:0;top:0;width:100%;height:100%;background:black;opacity:0.5'></div>
+<div style='position:absolute;left:50%;top:50%;'>
+<div style='position:absolute;left:-160px;top:-80px;width:320px;height:120px;background:white'>
+<form onsubmit="try{a=$('#loginUserName');if(a.val()){login(a.val());$('#loginPopup').remove();}}catch(e){console.log(e)}return false">
+<div style='position:absolute;left:20px;top:15px;font-size:24px;width:280;text-align:center;'>
+	R-Consensus Login
+</div>
+<input type=text placeholder='username' style='position:absolute;left:20px;top:70px;width:180px;font-size:16px;height:24px;' id='loginUserName'>
+<span style='position:absolute;left:220px;top:70px;width:80px;font-size:16px;height:24px;line-height:24px;' class='button' value='login' onclick="try{a=$('#loginUserName');if(a.val()){login(a.val());$('#loginPopup').remove();}}catch(e){console.log(e)}return false">login</span>
+</form>
+</div>
+</div>
+</div>
diff -r f3db6edc61ad -r a405991e39d8 target/scala-2.9.1/cache/compile/compile
Binary file target/scala-2.9.1/cache/compile/compile has changed
diff -r f3db6edc61ad -r a405991e39d8 target/scala-2.9.1/cache/compile/copy-resources
Binary file target/scala-2.9.1/cache/compile/copy-resources has changed