Changeset 4 for src/main/java

Timestamp:

09/24/19 14:13:26 (5 years ago)

Author:

bart

Message:

Fixed performance issue with some computers

Location:

src/main/java/geniusweb/runserver

Files:

• PartyConnection.java (modified) (3 diffs)
• RunNego.java (modified) (1 diff)

src/main/java/geniusweb/runserver/PartyConnection.java

@@ -33 +33 @@
 
 /**
- * A websocket based {@link ConnectionWithParty}. Must be public so that it can
- * be accessed as ClientEndpoint by apache tomcat
+ * A websocket based {@link ConnectionWithParty}. it contains a websocket
+ * connection to a party that runs on a runserver. Must be public so that it can
+ * be accessed as ClientEndpoint by apache tomcat. This is internally used.
  */
 @ClientEndpoint
@@ -102 +103 @@
                                 .openConnection();
                 // if this throws, the IOException seems to contain the "retry later"
-                // message
-                // already
-                conn.setRequestMethod("GET"); // TODO timeout
+                // message already
+                conn.setRequestMethod("GET");
+                conn.setReadTimeout(20000);
+                conn.connect();
                 BufferedReader rd;
                 try {
@@ -110 +112 @@
                                         new InputStreamReader(conn.getInputStream()));
                 } catch (IOException e) {
+                        if (conn.getErrorStream() == null) {
+                                throw new IOException("Failed to connect " + reference
+                                                + ", no server error message", e);
+                        }
                         // read the detail message from the error stream
                         rd = new BufferedReader(

src/main/java/geniusweb/runserver/RunNego.java

@@ -66 +66 @@
                                 RunningNegotiationsRepo.instance(), log);
                 RunningNegotiationsRepo.instance().put(session);
+                // set content type to prevent some browsers
+                // trying to parse this (eg as XML)
+                response.setContentType("application/json");
                 response.getWriter().append(session.getID());
         }