private String getSupportedVersionsHeaderLine(StompServerConnection connection) { StringBuilder builder = new StringBuilder(); connection.server().options().getSupportedVersions().stream().forEach( v -> builder.append(builder.length() == 0 ? v : FrameParser.COMMA + v)); return builder.toString(); }
private String negotiate(List<String> accepted, StompServerConnection connection) { List<String> supported = connection.server().options().getSupportedVersions(); for (String v : supported) { if (accepted.contains(v)) { return v; } } return null; } }
public static void toJson(StompServerOptions obj, java.util.Map<String, Object> json) { if (obj.getHeartbeat() != null) { json.put("heartbeat", obj.getHeartbeat()); } json.put("maxBodyLength", obj.getMaxBodyLength()); json.put("maxFrameInTransaction", obj.getMaxFrameInTransaction()); json.put("maxHeaderLength", obj.getMaxHeaderLength()); json.put("maxHeaders", obj.getMaxHeaders()); json.put("maxSubscriptionsByClient", obj.getMaxSubscriptionsByClient()); json.put("secured", obj.isSecured()); json.put("sendErrorOnNoSubscriptions", obj.isSendErrorOnNoSubscriptions()); if (obj.getSupportedVersions() != null) { JsonArray array = new JsonArray(); obj.getSupportedVersions().forEach(item -> array.add(item)); json.put("supportedVersions", array); } json.put("timeFactor", obj.getTimeFactor()); json.put("trailingLine", obj.isTrailingLine()); json.put("transactionChunkSize", obj.getTransactionChunkSize()); json.put("websocketBridge", obj.isWebsocketBridge()); if (obj.getWebsocketPath() != null) { json.put("websocketPath", obj.getWebsocketPath()); } } }