sessiontracker.java

采用Eclispe开发平台

package com.whatratimes.edu.webedu;

import com.whatratimes.tables.t_user;

import javax.servlet.http.HttpSession;

/**
 * User: Tao
 * Date: Aug 11, 2003
 * Time: 8:23:47 AM
 */
public class SessionTracker extends Object
{
    private final Integer UserId;
    public final String RemoteAddress;
    public final HttpSession Session;

    public SessionTracker(int user_id, String address, HttpSession session)
    {
        UserId = new Integer(user_id);
        RemoteAddress = address;
        Session = session;
    }

    public SessionTracker(Integer user_id, String address, HttpSession session)
    {
        UserId = user_id;
        RemoteAddress = address;
        Session = session;
    }

    public int hashCode()
    {
        return UserId.hashCode();
    }

    public boolean equals(Object obj)
    {

        if (this == obj)
        {
            return true;
        }

        if (obj instanceof SessionTracker)
        {
            return UserId.equals(((SessionTracker) obj).UserId);

        } else
        {
            return false;
        }
    }

    public String toString()
    {
        return "SesstionTracker for : " + UserId.toString();
    }

    protected void finalize() throws Throwable
    {
        SessionControl.loginedUsers.remove(UserId);
        System.out.println("Finalized session : " + UserId);
        super.finalize();
    }

    public void logout()
    {

        try
        {
            t_user user = (t_user) Session.getAttribute("User");
            SessionControl.loginedUsers.remove(new Integer(user.UserId));

            System.out.println("Session logout : " + user.UserId);

            Session.invalidate();
        } catch (Exception e)
        {

        }

    }
}