Changeset 9


Ignore:
Timestamp:
01/30/20 16:52:47 (5 years ago)
Author:
bart
Message:

Tournament overview table, few bug fixes

Files:
1 added
4 edited

Legend:

Unmodified
Added
Removed
  • pom.xml

    r7 r9  
    66        <artifactId>runserver</artifactId>
    77        <packaging>war</packaging>
    8         <version>1.1.0</version>
     8        <version>1.2.0</version>
    99        <name>runserver Maven Webapp</name>
    1010        <url>http://maven.apache.org</url>
     
    5353                        <groupId>geniusweb</groupId>
    5454                        <artifactId>profile</artifactId>
    55                         <version>1.1.0</version>
     55                        <version>1.2.0</version>
    5656                </dependency>
    5757
     
    5959                        <groupId>geniusweb</groupId>
    6060                        <artifactId>party</artifactId>
    61                         <version>1.1.0</version>
     61                        <version>1.2.0</version>
    6262                </dependency>
    6363
     
    6565                        <groupId>geniusweb</groupId>
    6666                        <artifactId>references</artifactId>
    67                         <version>1.1.0</version>
     67                        <version>1.2.0</version>
    6868                </dependency>
    6969
     
    7171                        <groupId>geniusweb</groupId>
    7272                        <artifactId>protocol</artifactId>
    73                         <version>1.1.0</version>
     73                        <version>1.2.0</version>
    7474                </dependency>
    7575
  • src/main/webapp/newsession.xhtml

    r8 r9  
    2929        <br /> Domain/Profile Server:
    3030        <input type="url" name="url" id="profilesserverurl"
    31                 value="localhost:8080/profilesserver-1.1.0"
     31                value="localhost:8080/profilesserver-1.2.0"
    3232                pattern=".*:[0-9]+/profilesserver" size="30"
    3333                onchange="connectDomain()"> </input>
     
    4343                <br /> <b>Participants</b> <br /> Parties Server: <input type="url"
    4444                        name="url" id="partiesserverurl"
    45                         value="localhost:8080/partiesserver-1.1.0"
     45                        value="localhost:8080/partiesserver-1.2.0"
    4646                        pattern=".*:[0-9]+/partiesserver" size="30"
    4747                        onchange="connectParties()"> </input> <br /> <br /> <b>Party
     
    273273         refresh table: copy all parties elements in there.
    274274         Typically parties is something like
    275          [{"uri":"http:130.161.180.1:8080/partiesserver/run/randomparty-1.1.0",
     275         [{"uri":"http:130.161.180.1:8080/partiesserver/run/randomparty-1.2.0",
    276276                 "capabilities":{"protocols":["SAOP"]},
    277277                 "description":"places random bids until it can accept an offer with utility >0.6",
    278                  "id":"randomparty-1.1.0",
     278                 "id":"randomparty-1.2.0",
    279279                 "partyClass":"geniusweb.exampleparties.randomparty.RandomParty"},
    280280                                 ...]
     
    571571        function init() {
    572572                selectProtocol();
    573                 document.getElementById("partiesserverurl").value =window.location.hostname+":8080/partiesserver-1.1.0"
    574                 document.getElementById("profilesserverurl").value =window.location.hostname+":8080/profilesserver-1.1.0"
     573                document.getElementById("partiesserverurl").value =window.location.hostname+":8080/partiesserver-1.2.0"
     574                document.getElementById("profilesserverurl").value =window.location.hostname+":8080/profilesserver-1.2.0"
    575575                connectDomain();
    576576                connectParties();
  • src/main/webapp/newtournament.xhtml

    r8 r9  
    4747        <div id="box" class="box">
    4848                <br /> Domain/Profile Server: <input type="url" name="url"
    49                         id="profilesserverurl" value="localhost:8080/profilesserver-1.1.0"
     49                        id="profilesserverurl" value="localhost:8080/profilesserver-1.2.0"
    5050                        pattern=".*:[0-9]+/profilesserver" size="30"
    5151                        onchange="connectDomain()"> </input> <br /> Domain: <select
     
    7676        <div id="box" class="box">
    7777                <br /> Parties Server: <input type="url" name="url"
    78                         id="partiesserverurl" value="localhost:8080/partiesserver-1.1.0"
     78                        id="partiesserverurl" value="localhost:8080/partiesserver-1.2.0"
    7979                        pattern=".*:[0-9]+/partiesserver" size="30"
    8080                        onchange="connectParties()"> </input> <br /> <br />
     
    106106        <div id="started" style="visibility: hidden">
    107107                Your tournament started. Click <a href="" id="logref">here</a> to view
    108                 the log file.
     108                the log file. <br />
     109                <a href="" id="plotref">show results table.</a>.
    109110        </div>
    110111
     
    385386                                document.getElementById("started").setAttribute("style","");
    386387                        document.getElementById("logref").href="log/"+this.responseText+".json";
     388                                document.getElementById("plotref").href="utilstable.xhtml?"+this.responseText;
    387389                        } else
    388390                                alert("request failed:"+this.statusText);
     
    421423        */
    422424        function init() {
    423                 document.getElementById("partiesserverurl").value =window.location.hostname+":8080/partiesserver-1.1.0";
    424                 document.getElementById("profilesserverurl").value =window.location.hostname+":8080/profilesserver-1.1.0";
     425                document.getElementById("partiesserverurl").value =window.location.hostname+":8080/partiesserver-1.2.0";
     426                document.getElementById("profilesserverurl").value =window.location.hostname+":8080/profilesserver-1.2.0";
    425427
    426428
  • src/main/webapp/plotlog.xhtml

    r4 r9  
    3535       
    3636       
     37       
    3738
    3839       
     
    7677        */
    7778        function processLogFile(json) {
    78                 if (json['SAOPState']==undefined) {
     79                if (json['SAOPState']!=undefined) {
     80                        processSAOP(json['SAOPState']);
     81                } else if (json['SHAOPState']!=undefined) {
     82                        processSHAOP(json['SHAOPState']);
     83                } else {
    7984                setStatus("Unknown log file contents "+Object.keys(json));
    80                 return;
    81                 }
    82                 processSAOP(json['SAOPState']);
     85            }
    8386        }
    8487       
     
    9598                getProfiles(json, partyprofiles);
    9699        }
     100       
     101        /**
     102        Handle SHAOP protocol result. Get only SHAOP profiles. Remove all 'partial=XX' from relevant profiles.
     103        */
     104        function processSHAOP(json) {
     105                var partyprofiles={}
     106                var teams=json['settings']['SHAOPSettings']['participants'];
     107                for (var partyid in json['partyNumbers']) {
     108                        var nr= json['partyNumbers'][partyid];
     109                        if ( (nr & 1 != 0)) continue; // skip COB parties
     110                        var shaop=teams[nr/2]['shaop'];
     111                        var profile = shaop['profile'].split('?',1)[0]; // hacky, remove complete query.
     112                        partyprofiles[partyid]=profile;
     113                }
     114                       
     115               
     116                getProfiles(json, partyprofiles);
     117        }
     118
    97119       
    98120        /**
     
    334356
    335357
     358
    336359</script>
    337360
     
    339362
    340363<script type="application/javascript">
     364       
    341365       
    342366       
     
    368392
    369393
     394
    370395</script>
    371396
Note: See TracChangeset for help on using the changeset viewer.