[43] | 1 | package geniusweb.profilesserver.websocket;
|
---|
| 2 |
|
---|
| 3 | import java.io.IOException;
|
---|
| 4 | import java.lang.management.ManagementFactory;
|
---|
| 5 | import java.net.InetAddress;
|
---|
| 6 | import java.net.URI;
|
---|
| 7 | import java.net.URISyntaxException;
|
---|
| 8 | import java.net.UnknownHostException;
|
---|
| 9 | import java.util.HashMap;
|
---|
| 10 | import java.util.List;
|
---|
| 11 | import java.util.Map;
|
---|
| 12 | import java.util.Set;
|
---|
| 13 | import java.util.logging.Level;
|
---|
| 14 | import java.util.stream.Collectors;
|
---|
| 15 |
|
---|
| 16 | import javax.management.MBeanServer;
|
---|
| 17 | import javax.management.MalformedObjectNameException;
|
---|
| 18 | import javax.management.ObjectName;
|
---|
| 19 | import javax.management.Query;
|
---|
| 20 | import javax.websocket.OnClose;
|
---|
| 21 | import javax.websocket.OnError;
|
---|
| 22 | import javax.websocket.OnOpen;
|
---|
| 23 | import javax.websocket.Session;
|
---|
| 24 | import javax.websocket.server.ServerEndpoint;
|
---|
| 25 |
|
---|
| 26 | import geniusweb.profilesserver.Constants;
|
---|
| 27 | import geniusweb.profilesserver.ProfilesRepository;
|
---|
| 28 | import geniusweb.profilesserver.events.ChangeEvent;
|
---|
| 29 | import tudelft.utilities.listener.Listener;
|
---|
| 30 | import tudelft.utilities.logging.ReportToLogger;
|
---|
| 31 | import tudelft.utilities.logging.Reporter;
|
---|
| 32 |
|
---|
| 33 | /**
|
---|
| 34 | * Returns a websocket that communicates the list of currently available domains
|
---|
| 35 | * and profiles. Every time something changes, a new list of domains and
|
---|
| 36 | * profiles is sent. For each new websocket the server will create one of this
|
---|
| 37 | * but they all share one {@link ProfilesRepository}.
|
---|
| 38 | */
|
---|
| 39 | @ServerEndpoint("/websocket/liststream")
|
---|
| 40 | public class ProfilesListSocket {
|
---|
| 41 |
|
---|
| 42 | private final Reporter log;
|
---|
| 43 | /** following both final but set in {@link #start(Session)} */
|
---|
| 44 | private Session session;
|
---|
| 45 | private Listener<ChangeEvent> changeListener;
|
---|
| 46 | private static transient String hostport = ""; // cache
|
---|
| 47 |
|
---|
| 48 | public ProfilesListSocket() {
|
---|
| 49 | this(new ReportToLogger("profilesserver"));
|
---|
| 50 | }
|
---|
| 51 |
|
---|
| 52 | public ProfilesListSocket(ReportToLogger reportToLogger) {
|
---|
| 53 | this.log = reportToLogger;
|
---|
| 54 | }
|
---|
| 55 |
|
---|
| 56 | @OnOpen
|
---|
| 57 | public void start(Session session) throws IOException {
|
---|
| 58 | this.session = session;
|
---|
| 59 | log.log(Level.INFO, "New connection " + session.getRequestURI());
|
---|
| 60 |
|
---|
| 61 | sendupdatedProfiles();
|
---|
| 62 | changeListener = new Listener<ChangeEvent>() {
|
---|
| 63 |
|
---|
| 64 | @Override
|
---|
| 65 | public void notifyChange(ChangeEvent data) {
|
---|
| 66 | try {
|
---|
| 67 | sendupdatedProfiles();
|
---|
| 68 | } catch (IOException e) {
|
---|
| 69 | e.printStackTrace();
|
---|
| 70 | }
|
---|
| 71 | }
|
---|
| 72 | };
|
---|
| 73 | Profiles.repository.addListener(changeListener);
|
---|
| 74 | }
|
---|
| 75 |
|
---|
| 76 | /**
|
---|
| 77 | * Send the latest profiles to the client.
|
---|
| 78 | *
|
---|
| 79 | * @throws IOException
|
---|
| 80 | */
|
---|
| 81 | private void sendupdatedProfiles() throws IOException {
|
---|
| 82 | log.log(Level.FINER, "sending updated profiles");
|
---|
| 83 | session.getBasicRemote().sendText(
|
---|
| 84 | Constants.getJackson().writeValueAsString(getDomainsProfiles()));
|
---|
| 85 | }
|
---|
| 86 |
|
---|
| 87 | /**
|
---|
| 88 | * @return list of domain and profile URIs, as a hashmap.
|
---|
| 89 | */
|
---|
| 90 | private Map<URI, List<URI>> getDomainsProfiles() {
|
---|
| 91 | Map<URI, List<URI>> allprofiles = new HashMap<>();
|
---|
| 92 | for (String domain : Profiles.repository.getDomains()) {
|
---|
| 93 | List<URI> profiles = Profiles.repository.getProfiles(domain).stream()
|
---|
| 94 | .map(profile -> makeURI(domain, profile.getName()))
|
---|
| 95 | .collect(Collectors.toList());
|
---|
| 96 | allprofiles.put(makeURI(domain, null), profiles);
|
---|
| 97 | }
|
---|
| 98 | return allprofiles;
|
---|
| 99 | }
|
---|
| 100 |
|
---|
| 101 | /**
|
---|
| 102 | * @param domain the domain name.
|
---|
| 103 | * @param profile the profile name. If null, a ref to the the domain (no
|
---|
| 104 | * profile) is needed
|
---|
| 105 | * @return a URI where to get the given profile/domain.
|
---|
| 106 | */
|
---|
| 107 | private URI makeURI(String domain, String profile) {
|
---|
| 108 | try {
|
---|
| 109 | return new URI("ws://" + getIpAddressAndPort() + "/"
|
---|
| 110 | + getServerName() + "/websocket/get/" + domain
|
---|
| 111 | + (profile != null ? "/" + profile : ""));
|
---|
| 112 | } catch (MalformedObjectNameException | UnknownHostException
|
---|
| 113 | | URISyntaxException e) {
|
---|
| 114 | log.log(Level.SEVERE, "Failed to create profile URI", e);
|
---|
| 115 | return null;
|
---|
| 116 | }
|
---|
| 117 | }
|
---|
| 118 |
|
---|
| 119 | /**
|
---|
| 120 | *
|
---|
| 121 | * @return name of our service, eg "profilesserver"
|
---|
| 122 | */
|
---|
| 123 | private String getServerName() {
|
---|
| 124 | // typically something like /profilesserver/websocket/liststream
|
---|
| 125 | // profilesserver is the name we're looking for
|
---|
| 126 | return session.getRequestURI().getPath().split("/")[1]; // drop leading
|
---|
| 127 | // '/'
|
---|
| 128 | }
|
---|
| 129 |
|
---|
| 130 | private String getIpAddressAndPort()
|
---|
| 131 | throws UnknownHostException, MalformedObjectNameException {
|
---|
| 132 | synchronized (hostport) {
|
---|
| 133 | if (hostport.isEmpty()) {
|
---|
| 134 | MBeanServer beanServer = ManagementFactory
|
---|
| 135 | .getPlatformMBeanServer();
|
---|
| 136 |
|
---|
| 137 | Set<ObjectName> objectNames = beanServer.queryNames(
|
---|
| 138 | new ObjectName("*:type=Connector,*"),
|
---|
| 139 | Query.match(Query.attr("protocol"),
|
---|
| 140 | Query.value("HTTP/1.1")));
|
---|
| 141 |
|
---|
| 142 | String host = InetAddress.getLocalHost().getHostAddress();
|
---|
| 143 | String port = objectNames.iterator().next()
|
---|
| 144 | .getKeyProperty("port");
|
---|
| 145 |
|
---|
| 146 | hostport = host + ":" + port;
|
---|
| 147 | }
|
---|
| 148 | return hostport;
|
---|
| 149 | }
|
---|
| 150 |
|
---|
| 151 | }
|
---|
| 152 |
|
---|
| 153 | @OnClose
|
---|
| 154 | public void end() throws IOException {
|
---|
| 155 | Profiles.repository.removeListener(changeListener);
|
---|
| 156 | }
|
---|
| 157 |
|
---|
| 158 | @OnError
|
---|
| 159 | public void onError(Throwable t) throws Throwable {
|
---|
| 160 | t.printStackTrace();
|
---|
| 161 | }
|
---|
| 162 |
|
---|
| 163 | }
|
---|