Changeset 2 for src/main/webapp/newsession.xhtml

Timestamp:

08/29/19 17:09:35 (5 years ago)

Author:

bart

Message:

Small fixes

File:

• src/main/webapp/newsession.xhtml (modified) (6 diffs)

src/main/webapp/newsession.xhtml

@@ -31 +31 @@
                 onchange="connectDomain()"> </input>
         <br /> Domain:
-        <select id="domainselection" onclick="selectDomain()">
+        <select id="domainselection" onchange="selectDomain()">
                 <!-- <option>Waiting for profiles server</option> -->
         </select>
@@ -80 +80 @@
         
         
+        
         // FIXME quick and dirty code. No clean MVC
         
         
         <![CDATA[
-        "use strict";   
+        //"use strict"; 
         
         var domainwebsocket = null;
@@ -102 +103 @@
         var partyprofiles=[];
 
-        
+        /** from http://fitzgeraldnick.com/2010/08/10/settimeout-patterns.html */
+    
+    function async (fn) {
+        setTimeout(fn, 1000);
+    }
+
+    function sometimeWhen (test, then) {
+        async(function () {
+            if ( test() ) {
+                then();
+            } else {
+                async(arguments.callee);
+            }
+        });
+    }
+
+        
+        
         /**
         Refresh known domains using given profilesserver URL. 
@@ -267 +285 @@
         }
 
+        var x=1;
         /**
         start the session as currently set on this page.
@@ -292 +311 @@
                         if (this.status == 200) {
                                 document.getElementById("startbutton").disabled=true;
-                                document.getElementById("started").setAttribute("style","");
                                 document.getElementById("logref").href="log/"+this.responseText+".json";
                                 document.getElementById("plotref").href="plotlog.xhtml?id="+this.responseText;
                                 
+                                sometimeWhen(function() { x=x+1; return x==3 },
+                                                function() { document.getElementById("started").setAttribute("style",""); });
+
                         }
                         else 
@@ -331 +352 @@
         */
         function init() {
+                document.getElementById("partiesserverurl").value =window.location.hostname+":8080/partiesserver-1.0.0"
+                document.getElementById("profilesserverurl").value =window.location.hostname+":8080/profilesserver-1.0.0"
                 connectDomain();
                 connectParties();