2018-09-17 10:07:32 +03:00
|
|
|
package ru.gravit.launchserver.manangers;
|
|
|
|
|
|
|
|
import ru.gravit.launcher.NeedGarbageCollection;
|
|
|
|
import ru.gravit.launchserver.socket.Client;
|
|
|
|
|
2018-12-20 18:45:01 +03:00
|
|
|
import java.util.HashSet;
|
|
|
|
import java.util.Set;
|
|
|
|
|
2018-09-17 10:07:32 +03:00
|
|
|
public class SessionManager implements NeedGarbageCollection {
|
2018-10-13 11:01:10 +03:00
|
|
|
|
2018-09-17 10:07:32 +03:00
|
|
|
public static final long SESSION_TIMEOUT = 10 * 60 * 1000; // 10 минут
|
2018-09-27 00:30:43 +03:00
|
|
|
public static final boolean NON_GARBAGE_SERVER = true;
|
2018-12-24 12:23:00 +03:00
|
|
|
private HashSet<Client> clientSet = new HashSet<>(128);
|
2018-09-17 10:07:32 +03:00
|
|
|
|
2018-10-13 11:01:10 +03:00
|
|
|
|
2018-09-17 10:07:32 +03:00
|
|
|
public boolean addClient(Client client) {
|
|
|
|
clientSet.add(client);
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
2018-10-13 11:01:10 +03:00
|
|
|
|
2018-09-17 10:07:32 +03:00
|
|
|
public void garbageCollection() {
|
|
|
|
long time = System.currentTimeMillis();
|
2018-11-08 15:30:16 +03:00
|
|
|
clientSet.removeIf(c -> (c.timestamp + SESSION_TIMEOUT < time) && ((c.type == Client.Type.USER) || ((c.type == Client.Type.SERVER) && !NON_GARBAGE_SERVER)));
|
2018-09-17 10:07:32 +03:00
|
|
|
}
|
|
|
|
|
2018-10-13 11:01:10 +03:00
|
|
|
|
2018-09-17 10:07:32 +03:00
|
|
|
public Client getClient(long session) {
|
|
|
|
for (Client c : clientSet)
|
2018-09-22 17:33:00 +03:00
|
|
|
if (c.session == session) return c;
|
2018-09-17 10:07:32 +03:00
|
|
|
return null;
|
|
|
|
}
|
|
|
|
|
2018-10-13 11:01:10 +03:00
|
|
|
|
2018-09-17 10:07:32 +03:00
|
|
|
public Client getOrNewClient(long session) {
|
|
|
|
for (Client c : clientSet)
|
2018-09-22 17:33:00 +03:00
|
|
|
if (c.session == session) return c;
|
2018-09-17 10:07:32 +03:00
|
|
|
Client newClient = new Client(session);
|
|
|
|
clientSet.add(newClient);
|
|
|
|
return newClient;
|
|
|
|
}
|
|
|
|
|
2018-10-13 11:01:10 +03:00
|
|
|
|
2018-09-17 10:07:32 +03:00
|
|
|
public void updateClient(long session) {
|
2018-09-27 00:30:43 +03:00
|
|
|
for (Client c : clientSet) {
|
2018-09-22 17:33:00 +03:00
|
|
|
if (c.session == session) {
|
2018-09-17 10:07:32 +03:00
|
|
|
c.up();
|
|
|
|
return;
|
|
|
|
}
|
2018-09-27 00:30:43 +03:00
|
|
|
}
|
|
|
|
Client newClient = new Client(session);
|
|
|
|
clientSet.add(newClient);
|
2018-09-17 10:07:32 +03:00
|
|
|
}
|
2018-12-24 12:23:00 +03:00
|
|
|
public Set<Client> getSessions()
|
|
|
|
{
|
|
|
|
return clientSet;
|
|
|
|
}
|
|
|
|
public void loadSessions(Set<Client> set)
|
|
|
|
{
|
|
|
|
clientSet.addAll(set);
|
|
|
|
}
|
2018-09-17 10:07:32 +03:00
|
|
|
}
|