Changeset 1270 for trunk/src/org/expeditee/gui/FrameIO.java

Timestamp:

03/25/19 14:33:31 (5 years ago)

Author:

bln4

Message:

On profile creation a new parameter has been introducted. By passing a map, the user is able to nominate settings frames for which to be notified of their construction.

The above functionalty has been used to programmatically establish the frame number for a users credentials frame.

On user account creation, the users credential frame is migrated to the <username>-credentials folder and a redirect is setup. Functionality for doing this has been generisised and placed in FrameIO.

File:

• trunk/src/org/expeditee/gui/FrameIO.java (modified) (4 diffs)

trunk/src/org/expeditee/gui/FrameIO.java

@@ -43 +43 @@
 import java.util.List;
 import java.util.Map;
+import java.util.function.Consumer;
 import java.util.stream.Collectors;
 
@@ -1349 +1350 @@
         }
 
-        public static Frame CreateNewProfile(String username, Map<String, Setting> initialSettings) throws InvalidFramesetNameException, ExistingFramesetException  {
+        public static Frame CreateNewProfile(String username, Map<String, Setting> initialSettings, Map<String, Consumer<Frame>> toNotifyOnSet) throws InvalidFramesetNameException, ExistingFramesetException  {
                 Frame profile = CreateFrameset(username, PROFILE_PATH, true);
-                FrameUtils.CreateDefaultProfile(username, profile, initialSettings);
+                FrameUtils.CreateDefaultProfile(username, profile, initialSettings, toNotifyOnSet);
                 return profile;
         }
@@ -1924 +1925 @@
         }
         
-        public static Path setupPersonalResources(String username)
-        {
+        public static Path setupPersonalResources(String username) {
                 Path personalResources = Paths.get(FrameIO.PARENT_FOLDER).resolve("resources-" + username);
                 personalResources.toFile().mkdir();             
@@ -1944 +1944 @@
                 
                 return personalResources;
+        }
+        
+        public static void migrateFrame(Frame toMigrate, Path destinationDirectory) {
+                Path source = Paths.get(toMigrate.getFramePathReal());
+                String destination = source.relativize(destinationDirectory).toString().substring(3).replace(File.separator, "/");
+                try {
+                        copyFileTree(source, destinationDirectory);
+                } catch (IOException e) {
+                        System.err.println("FrameIO::migrateFrame: failed to migrate from to new location.  Message: " + e.getMessage());
+                        return;
+                }
+                try {
+                        FileWriter out = new FileWriter(source.toFile());
+                        out.write("REDIRECT:" + destination);
+                        out.flush();
+                        out.close();
+                } catch (IOException e) {
+                        System.err.println("FrameIO::migrateFrame: failed to update file [" + source + "] to redirect to  [" + destination + "] following migration.  Message: " + e.getMessage());
+                }
         }