Changeset 21 for src/main/webapp
- Timestamp:
- 10/08/20 10:17:40 (4 years ago)
- Location:
- src/main/webapp
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
src/main/webapp/newsession.xhtml
r20 r21 40 40 <br /> Domain/Profile Server: 41 41 <input type="url" name="url" id="profilesserverurl" 42 value="localhost:8080/profilesserver-1.5. 3"42 value="localhost:8080/profilesserver-1.5.4" 43 43 pattern=".*:[0-9]+/profilesserver" size="30" 44 44 onchange="connectDomain()"> </input> … … 54 54 <br /> <b>Participants</b> <br /> Parties Server: <input type="url" 55 55 name="url" id="partiesserverurl" 56 value="localhost:8080/partiesserver-1.5. 3"56 value="localhost:8080/partiesserver-1.5.4" 57 57 pattern=".*:[0-9]+/partiesserver" size="30" 58 58 onchange="connectParties()"> </input> <br /> <br /> <b>Party … … 294 294 refresh table: copy all parties elements in there. 295 295 Typically parties is something like 296 [{"uri":"http:130.161.180.1:8080/partiesserver/run/randomparty-1.5. 3",296 [{"uri":"http:130.161.180.1:8080/partiesserver/run/randomparty-1.5.4", 297 297 "capabilities":{"protocols":["SAOP"]}, 298 298 "description":"places random bids until it can accept an offer with utility >0.6", 299 "id":"randomparty-1.5. 3",299 "id":"randomparty-1.5.4", 300 300 "partyClass":"geniusweb.exampleparties.randomparty.RandomParty"}, 301 301 ...] … … 632 632 function init() { 633 633 selectProtocol(); 634 document.getElementById("partiesserverurl").value =window.location.hostname+":8080/partiesserver-1.5. 3"635 document.getElementById("profilesserverurl").value =window.location.hostname+":8080/profilesserver-1.5. 3"634 document.getElementById("partiesserverurl").value =window.location.hostname+":8080/partiesserver-1.5.4" 635 document.getElementById("profilesserverurl").value =window.location.hostname+":8080/profilesserver-1.5.4" 636 636 connectDomain(); 637 637 connectParties(); -
src/main/webapp/newtournament.xhtml
r20 r21 585 585 */ 586 586 function init() { 587 document.getElementById("partiesserverurl").value =window.location.hostname+":8080/partiesserver-1.5. 3";588 document.getElementById("profilesserverurl").value =window.location.hostname+":8080/profilesserver-1.5. 3";587 document.getElementById("partiesserverurl").value =window.location.hostname+":8080/partiesserver-1.5.4"; 588 document.getElementById("profilesserverurl").value =window.location.hostname+":8080/profilesserver-1.5.4"; 589 589 590 590 selectProtocol();
Note:
See TracChangeset
for help on using the changeset viewer.