/[gzz]/gzz/gzz/impl/mirror/Mirror.java
ViewVC logotype

Diff of /gzz/gzz/impl/mirror/Mirror.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.1 by tjl, Mon Aug 19 12:45:08 2002 UTC revision 1.2 by tjl, Tue Sep 3 10:14:11 2002 UTC
# Line 35  public class Mirror { Line 35  public class Mirror {
35    
36      DeltaSpace deltaSpace;      DeltaSpace deltaSpace;
37    
38      /** Create a new mirror.      /** Create a new mirror through RMI.
39       * @param rmiName The name to give to java.rmi.Naming for       * @param rmiName The name to give to java.rmi.Naming for
40       *          the Master object.       *          the Master object.
41       * @param deltaSpace The empty deltaSpace object       * @param deltaSpace The empty deltaSpace object
# Line 46  public class Mirror { Line 46  public class Mirror {
46          tap = master.getTap();          tap = master.getTap();
47          update();          update();
48      }      }
49    
50        /** Create a new mirror, to a given Master interface.
51         */
52        public Mirror(Master master, DeltaSpace deltaSpace) throws Exception {
53            this.deltaSpace = deltaSpace;
54            tap = master.getTap();
55            update();
56        }
57    
58      public Space getSpace() {      public Space getSpace() {
59          return deltaSpace;          return deltaSpace;

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26