Changeset 11

Timestamp:

03/02/20 10:29:53 (5 years ago)

Author:

bart

Message:

All refs to bintray now use https

Files:

• pom.xml (modified) (6 diffs)
• src/main/webapp/newsession.xhtml (modified) (4 diffs)
• src/main/webapp/newtournament.xhtml (modified) (3 diffs)

pom.xml

@@ -6 +6 @@
         <artifactId>runserver</artifactId>
         <packaging>war</packaging>
-        <version>1.3.0</version>
+        <version>1.3.1</version>
         <name>runserver Maven Webapp</name>
         <url>http://maven.apache.org</url>
@@ -44 +44 @@
                 <pluginRepository>
                         <id>jcenter</id>
-                        <url>http://jcenter.bintray.com</url>
+                        <url>https://jcenter.bintray.com</url>
                 </pluginRepository>
         </pluginRepositories>
@@ -53 +53 @@
                         <groupId>geniusweb</groupId>
                         <artifactId>profile</artifactId>
-                        <version>1.2.0</version>
+                        <version>1.3.1</version>
                 </dependency>
 
@@ -59 +59 @@
                         <groupId>geniusweb</groupId>
                         <artifactId>party</artifactId>
-                        <version>1.2.0</version>
+                        <version>1.3.1</version>
                 </dependency>
 
@@ -65 +65 @@
                         <groupId>geniusweb</groupId>
                         <artifactId>references</artifactId>
-                        <version>1.2.0</version>
+                        <version>1.3.1</version>
                 </dependency>
 
@@ -71 +71 @@
                         <groupId>geniusweb</groupId>
                         <artifactId>protocol</artifactId>
-                        <version>1.2.0</version>
+                        <version>1.3.1</version>
                 </dependency>
 

src/main/webapp/newsession.xhtml

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

src/main/webapp/newtournament.xhtml

@@ -47 +47 @@
         <div id="box" class="box">
                 <br /> Domain/Profile Server: <input type="url" name="url"
-                        id="profilesserverurl" value="localhost:8080/profilesserver-1.3.0"
+                        id="profilesserverurl" value="localhost:8080/profilesserver-1.3.1"
                         pattern=".*:[0-9]+/profilesserver" size="30"
                         onchange="connectDomain()"> </input> <br /> Domain: <select
@@ -76 +76 @@
         <div id="box" class="box">
                 <br /> Parties Server: <input type="url" name="url"
-                        id="partiesserverurl" value="localhost:8080/partiesserver-1.3.0"
+                        id="partiesserverurl" value="localhost:8080/partiesserver-1.3.1"
                         pattern=".*:[0-9]+/partiesserver" size="30"
                         onchange="connectParties()"> </input> <br /> <br />
@@ -423 +423 @@
         */
         function init() {
-                document.getElementById("partiesserverurl").value =window.location.hostname+":8080/partiesserver-1.3.0";
-                document.getElementById("profilesserverurl").value =window.location.hostname+":8080/profilesserver-1.3.0";
+                document.getElementById("partiesserverurl").value =window.location.hostname+":8080/partiesserver-1.3.1";
+                document.getElementById("profilesserverurl").value =window.location.hostname+":8080/profilesserver-1.3.1";