Changeset 13 for src/main/java

Timestamp:

06/11/20 16:34:45 (4 years ago)

Author:

bart

Message:

Update to version 1.41

File:

• src/main/java/geniusweb/profilesserver/websocket/GetProfileSocket.java (modified) (2 diffs)

src/main/java/geniusweb/profilesserver/websocket/GetProfileSocket.java

@@ -48 +48 @@
  * the minimum utility bid is included. The other bids are picked at random.
  * This filtering mechanism only works if the profile is {@link LinearAdditive}
- * space.
+ * space. The reservation bid is passed through unmodified.
  */
 @ServerEndpoint("/websocket/get/{domain}/{profile}")
@@ -97 +97 @@
         }
 
+        /**
+         * 
+         * @param prof1
+         * @return a filtered profile. If "partial" is not set, this returns the
+         *         given profile unmodified. If partial is set, a
+         *         DefaultPartialOrdering with the requested number of bids are
+         *         selected
+         */
         private Profile filter(Profile prof1) {
                 String partial = params.get("partial");