Signal/Signal-Server
1
0
Fork 0
mirror of https://github.com/signalapp/Signal-Server synced 2026-04-19 10:48:04 +01:00
Code Issues Packages Projects Releases Wiki Activity

Added a push latency manager.

Browse Source
This commit is contained in:
Jon Chambers
2020-05-05 16:18:35 -04:00
committed by Jon Chambers
parent 6e9b70a8d6
commit 901ba6e87f
12 changed files with 298 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
websocket-resources/src/main/java/org/whispersystems/websocket/WebSocketClient.java
View File

@@ -16,6 +16,7 @@
*/
package org.whispersystems.websocket;
import org.apache.commons.lang3.StringUtils;
import org.eclipse.jetty.websocket.api.RemoteEndpoint;
import org.eclipse.jetty.websocket.api.Session;
import org.eclipse.jetty.websocket.api.WebSocketException;
@@ -86,6 +87,10 @@ public class WebSocketClient {
return future;
}
public String getUserAgent() {
return session.getUpgradeRequest().getHeader("User-Agent");
}
public void close(int code, String message) {
session.close(code, message);
}