FileDocCategorySizeDatePackage
ServerResource.javaAPI DocExample2186Thu Mar 16 11:52:18 GMT 2000None

ServerResource

public class ServerResource extends Object implements LeasedResource

Fields Summary
protected static int
token
protected Integer
cookie
protected long
expiration
public Lease
lease
public Object
sessionData
Constructors Summary
public ServerResource(Object sessionData)


    // Simple resource mapper -- we use a static int to ensure that
    // each lease resource will have a unique cookie
       
        synchronized (ServerResource.class) {
            cookie = new Integer(token++);
        }
        this.sessionData = sessionData;
    
Methods Summary
public java.lang.ObjectgetCookie()

        return cookie;
    
public longgetExpiration()

        return expiration;
    
public voidsetExpiration(long expire)

        expiration = expire;