Changeset 10


Ignore:
Timestamp:
02/13/20 16:30:54 (5 years ago)
Author:
bart
Message:

Added ANAC2019 Example parties: Agentgg and WinkyAgent

Files:
5 edited

Legend:

Unmodified
Added
Removed
  • pom.xml

    r9 r10  
    66        <artifactId>runserver</artifactId>
    77        <packaging>war</packaging>
    8         <version>1.2.0</version>
     8        <version>1.3.0</version>
    99        <name>runserver Maven Webapp</name>
    1010        <url>http://maven.apache.org</url>
  • src/main/java/geniusweb/runserver/RunNego.java

    r8 r10  
    3838        /**
    3939         * @see HttpServlet#doGet(HttpServletRequest request, HttpServletResponse
    40          *      response). Returns
    41          *      <ul>
    42          *      <li>URL with websocket address to contact the now running party.
    43          *      <li>SC_NOT_FOUND (404) if attempt is made to access non-running
    44          *      party.
    45          *      <li>SC_SERVICE_UNAVAILABLE (503) if there are no free slots to run
    46          *      the party.
    47          *      <li>SC_EXPECTATION_FAILED (417) if something else goes wrong during
    48          *      instantiating the party (then see logs for more details)
    49          *      </ul>
     40         *      response).
     41         *
     42         * @return the ID of the new started run. Or SC_BAD_REQUEST if the request
     43         *         can not be processed.
    5044         */
    5145        @Override
     
    6559                }
    6660                log.log(Level.INFO, "request to run Nego: " + settings);
    67                 RunningNego session = new RunningNego(settings,
     61                RunningNego running = new RunningNego(settings,
    6862                                RunningNegotiationsRepo.instance(), log);
    69                 session.start();
     63                running.start();
    7064                // set content type to prevent some browsers
    7165                // trying to parse this (eg as XML)
    7266                response.setContentType("application/json");
    73                 response.getWriter().append(session.getID());
     67                response.getWriter().append(running.getID());
    7468        }
    7569
  • src/main/webapp/newsession.xhtml

    r9 r10  
    2929        <br /> Domain/Profile Server:
    3030        <input type="url" name="url" id="profilesserverurl"
    31                 value="localhost:8080/profilesserver-1.2.0"
     31                value="localhost:8080/profilesserver-1.3.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.2.0"
     45                        value="localhost:8080/partiesserver-1.3.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.2.0",
     275         [{"uri":"http:130.161.180.1:8080/partiesserver/run/randomparty-1.3.0",
    276276                 "capabilities":{"protocols":["SAOP"]},
    277277                 "description":"places random bids until it can accept an offer with utility >0.6",
    278                  "id":"randomparty-1.2.0",
     278                 "id":"randomparty-1.3.0",
    279279                 "partyClass":"geniusweb.exampleparties.randomparty.RandomParty"},
    280280                                 ...]
     
    571571        function init() {
    572572                selectProtocol();
    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"
     573                document.getElementById("partiesserverurl").value =window.location.hostname+":8080/partiesserver-1.3.0"
     574                document.getElementById("profilesserverurl").value =window.location.hostname+":8080/profilesserver-1.3.0"
    575575                connectDomain();
    576576                connectParties();
  • src/main/webapp/newtournament.xhtml

    r9 r10  
    4747        <div id="box" class="box">
    4848                <br /> Domain/Profile Server: <input type="url" name="url"
    49                         id="profilesserverurl" value="localhost:8080/profilesserver-1.2.0"
     49                        id="profilesserverurl" value="localhost:8080/profilesserver-1.3.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.2.0"
     78                        id="partiesserverurl" value="localhost:8080/partiesserver-1.3.0"
    7979                        pattern=".*:[0-9]+/partiesserver" size="30"
    8080                        onchange="connectParties()"> </input> <br /> <br />
     
    423423        */
    424424        function init() {
    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";
     425                document.getElementById("partiesserverurl").value =window.location.hostname+":8080/partiesserver-1.3.0";
     426                document.getElementById("profilesserverurl").value =window.location.hostname+":8080/profilesserver-1.3.0";
    427427
    428428
  • src/main/webapp/plotlog.xhtml

    r9 r10  
    9393                var profs=json['partyprofiles'];
    9494                for (var party in profs) {
    95                         partyprofiles[party]=profs[party]['profile'];
     95                        partyprofiles[party]=profs[party]['profile'].split('?',1)[0]; // hacky, remove complete query.
    9696                }
    9797               
Note: See TracChangeset for help on using the changeset viewer.