32 |
public class MasterImpl extends UnicastRemoteObject implements Master { |
public class MasterImpl extends UnicastRemoteObject implements Master { |
33 |
public static final String rcsid = "$Id$"; |
public static final String rcsid = "$Id$"; |
34 |
public static boolean dbg = true; |
public static boolean dbg = true; |
|
private static void p(String s) { if(dbg) pa(s); } |
|
35 |
private static void pa(String s) { System.err.println(s); } |
private static void pa(String s) { System.err.println(s); } |
36 |
|
|
37 |
DeltaSpace space; |
DeltaSpace space; |