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

Timestamp:

09/28/20 09:29:02 (4 years ago)

Author:

bart

Message:

Version 1.5.2

File:

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

src/main/webapp/newsession.xhtml

@@ -40 +40 @@
         <br /> Domain/Profile Server:
         <input type="url" name="url" id="profilesserverurl"
-                value="localhost:8080/profilesserver-1.5.1"
+                value="localhost:8080/profilesserver-1.5.2"
                 pattern=".*:[0-9]+/profilesserver" size="30"
                 onchange="connectDomain()"> </input>
@@ -54 +54 @@
                 <br /> <b>Participants</b> <br /> Parties Server: <input type="url"
                         name="url" id="partiesserverurl"
-                        value="localhost:8080/partiesserver-1.5.1"
+                        value="localhost:8080/partiesserver-1.5.2"
                         pattern=".*:[0-9]+/partiesserver" size="30"
                         onchange="connectParties()"> </input> <br /> <br /> <b>Party
@@ -294 +294 @@
          refresh table: copy all parties elements in there.
          Typically parties is something like
-         [{"uri":"http:130.161.180.1:8080/partiesserver/run/randomparty-1.5.1",
+         [{"uri":"http:130.161.180.1:8080/partiesserver/run/randomparty-1.5.2",
                  "capabilities":{"protocols":["SAOP"]},
                  "description":"places random bids until it can accept an offer with utility >0.6",
-                 "id":"randomparty-1.5.1",
+                 "id":"randomparty-1.5.2",
                  "partyClass":"geniusweb.exampleparties.randomparty.RandomParty"},
                                  ...]
@@ -632 +632 @@
         function init() {
                 selectProtocol();
-                document.getElementById("partiesserverurl").value =window.location.hostname+":8080/partiesserver-1.5.1"
-                document.getElementById("profilesserverurl").value =window.location.hostname+":8080/profilesserver-1.5.1"
+                document.getElementById("partiesserverurl").value =window.location.hostname+":8080/partiesserver-1.5.2"
+                document.getElementById("profilesserverurl").value =window.location.hostname+":8080/profilesserver-1.5.2"
                 connectDomain();
                 connectParties();