forked from External/mage
* Player types - If you connect to another MAGE server, the available player types are updated now correctly. Removed some redundant update of server information in client.
This commit is contained in:
parent
27d441de0a
commit
c88eb2ead6
6 changed files with 72 additions and 42 deletions
|
|
@ -27,6 +27,7 @@
|
|||
*/
|
||||
package mage.remote.interfaces;
|
||||
|
||||
import java.util.UUID;
|
||||
import mage.remote.Connection;
|
||||
|
||||
/**
|
||||
|
|
@ -47,4 +48,6 @@ public interface Connect {
|
|||
boolean isConnected();
|
||||
|
||||
boolean disconnectUser(String userSessionId);
|
||||
|
||||
String getSessionId();
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue