//
// This is a Java policy file that specifies the permissions necessary to
// execute the server and client programs.
//

grant {

    //
    // Permit access to the public ports (1024-65535) of any host.  This allows
    // a remote client to contact the host registry to locate the server.
    //
    permission java.net.SocketPermission "*:1024-65535",
	"connect, accept, resolve";

    //
    // Permit read access to the server files.
    //
    permission java.io.FilePermission
	"~gfisher/classes/206/examples/rmi/server/*", "read";

};