Source code: org/bdgp/apps/dagedit/gui/AutosaveThread.java

   package org.bdgp.apps.dagedit.gui;
   
   import org.bdgp.apps.dagedit.dataadapter.*;
   import javax.swing.*;
   import java.io.*;
   import java.util.*;
   
   public class AutosaveThread extends Thread {
   
      protected Controller controller;
      protected boolean halt = false;
  
      public AutosaveThread(Controller controller) {
    setDaemon(true);
    this.controller = controller;
      }
  
      protected static String getFileName(Calendar calendar) {
    return "dagedit-save-"+
        calendar.get(Calendar.DAY_OF_MONTH)+"-"+
        calendar.get(Calendar.MONTH)+"-"+
        calendar.get(Calendar.YEAR)+"-"+
        calendar.get(Calendar.HOUR_OF_DAY)+"-"+
        calendar.get(Calendar.MINUTE)+
        ".autosave";
      }
  
      public void halt() {
    try {
        interrupt();
    } catch (Exception e) {}
    halt = true;
      }
  
      public void run() {
    halt = false;
    final GOSerialAdapter adapter = new GOSerialAdapter();
    try {
        while(!halt) {
      sleep((long) (controller.getAutosaveWaitTime()*60000));
      final GregorianCalendar calendar = new GregorianCalendar();
      SwingUtilities.invokeAndWait(new Runnable() {
        public void run() {
            try {
          if (!controller.getAutosavePath().exists()) {
              if (!controller.getAutosavePath().
            mkdirs()) {
            System.err.println("Couldn't create "+
                   "autosave "+
                   "directory. "+
                   "Autosave "+
                   "disabled.");
            halt = true;
            return;
              }
            
          }
          File saveFile =
              new File(controller.
                 getAutosavePath(),
                 getFileName(calendar));
          adapter.setPath(saveFile);
          adapter.write(Controller.getController().
                  getHistory());
            } catch (Exception e) {
          System.err.println("Couldn't autosave "+
                 "because of "+
                 e.getMessage()+". "+
                 "Autosaved disabled. "+
                 "Stack trace follows...");
          e.printStackTrace();
            }
        }
          });
      if (controller.getAutosaveExpiration() > 0) {
          GregorianCalendar expireFileCalendar = new
        GregorianCalendar();
          File [] files = controller.getAutosavePath().listFiles();
          for(int i=0; i < files.length; i++) {
        expireFileCalendar.setTime(new Date(files[i].
                    lastModified()));
        expireFileCalendar.add(Calendar.DAY_OF_YEAR,
                   controller.
                   getAutosaveExpiration());
        if (calendar.after(expireFileCalendar)) {
            if (!files[i].delete())
          System.err.println("Couldn't delete expired "+
                 "autosave file "+files[i]);
        }
          }
      }
        }
    } catch (InterruptedException e) {
        System.err.println("Autosave disabled by user");
    } catch (Exception e) {
        e.printStackTrace();
    }
      }
  }