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

Timestamp:

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

Author:

bart

Message:

Version 1.5.

File:

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

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

@@ -28 +28 @@
 import geniusweb.profile.utilityspace.LinearAdditive;
 import geniusweb.profilesserver.Jackson;
-import geniusweb.profilesserver.ProfilesFactory;
+import geniusweb.profilesserver.ProfilesRepository;
 import geniusweb.profilesserver.events.ChangeEvent;
 import tudelft.utilities.immutablelist.FixedList;
@@ -38 +38 @@
  * 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}.
  * 
  * <p>
@@ -80 +80 @@
                 };
                 sendupdatedProfile();
-                Profiles.factory.addListener(changeListener);
+                Profiles.repository.addListener(changeListener);
         }
 
         private void sendupdatedProfile() {
-                Profile newprof = Profiles.factory.getProfile(profilename);
+                Profile newprof = Profiles.repository.getProfile(profilename);
                 // notice, may be null if profile does not exist/was removed.
                 if (newprof == null ? prof != null : !newprof.equals(prof)) {
@@ -164 +164 @@
         @OnClose
         public void end() throws IOException {
-                Profiles.factory.removeListener(changeListener);
+                Profiles.repository.removeListener(changeListener);
         }