Changeset 16 for src/main/java/geniusweb/profilesserver/websocket/ProfilesListSocket.java

Timestamp:

09/22/20 08:52:08 (4 years ago)

Author:

bart

Message:

Version 1.5.

File:

• src/main/java/geniusweb/profilesserver/websocket/ProfilesListSocket.java (modified) (5 diffs)

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

@@ -25 +25 @@
 
 import geniusweb.profilesserver.Jackson;
-import geniusweb.profilesserver.ProfilesFactory;
+import geniusweb.profilesserver.ProfilesRepository;
 import geniusweb.profilesserver.events.ChangeEvent;
 import tudelft.utilities.listener.Listener;
@@ -35 +35 @@
  * and profiles. Every time something changes, a new list of domains and
  * profiles is sent. For each new websocket the server will create one of this
- * but they all share one {@link ProfilesFactory}.
+ * but they all share one {@link ProfilesRepository}.
  */
 @ServerEndpoint("/websocket/liststream")
@@ -71 +71 @@
                         }
                 };
-                Profiles.factory.addListener(changeListener);
+                Profiles.repository.addListener(changeListener);
         }
 
@@ -90 +90 @@
         private Map<URI, List<URI>> getDomainsProfiles() {
                 Map<URI, List<URI>> allprofiles = new HashMap<>();
-                for (String domain : Profiles.factory.getDomains()) {
-                        List<URI> profiles = Profiles.factory.getProfiles(domain).stream()
+                for (String domain : Profiles.repository.getDomains()) {
+                        List<URI> profiles = Profiles.repository.getProfiles(domain).stream()
                                         .map(profile -> makeURI(domain, profile.getName()))
                                         .collect(Collectors.toList());
@@ -153 +153 @@
         @OnClose
         public void end() throws IOException {
-                Profiles.factory.removeListener(changeListener);
+                Profiles.repository.removeListener(changeListener);
         }