mirror of
https://github.com/GravitLauncher/Launcher
synced 2025-01-12 10:33:08 +03:00
[FEATURE] final SessionStorage API
This commit is contained in:
parent
ce70cab736
commit
cafe8df3a9
2 changed files with 24 additions and 0 deletions
|
@ -71,6 +71,26 @@ public void clear() {
|
||||||
uuidIndex.clear();
|
uuidIndex.clear();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@Override
|
||||||
|
public void lockSession(UUID sessionUUID) {
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
|
@Override
|
||||||
|
public void lockUser(UUID userUUID) {
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
|
@Override
|
||||||
|
public void unlockSession(UUID sessionUUID) {
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
|
@Override
|
||||||
|
public void unlockUser(UUID userUUID) {
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
private void removeUuidFromIndexSet(Set<Entry> set, Entry e, UUID session) {
|
private void removeUuidFromIndexSet(Set<Entry> set, Entry e, UUID session) {
|
||||||
set.remove(e);
|
set.remove(e);
|
||||||
if(set.isEmpty()) {
|
if(set.isEmpty()) {
|
||||||
|
|
|
@ -20,6 +20,10 @@ public boolean deleteSessionsByUserUUID(UUID userUUID) {
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
public abstract void clear();
|
public abstract void clear();
|
||||||
|
public abstract void lockSession(UUID sessionUUID);
|
||||||
|
public abstract void lockUser(UUID userUUID);
|
||||||
|
public abstract void unlockSession(UUID sessionUUID);
|
||||||
|
public abstract void unlockUser(UUID userUUID);
|
||||||
public void init(LaunchServer server)
|
public void init(LaunchServer server)
|
||||||
{
|
{
|
||||||
this.server = server;
|
this.server = server;
|
||||||
|
|
Loading…
Reference in a new issue