public class DebugServersProvider extends Object
static String
DELIMITER
protected static Map<String,Integer>
servers
DebugServersProvider()
static void
deregisterServer(String server)
getServersList()
registerServer(String server)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public static final String DELIMITER
protected static Map<String,Integer> servers
public DebugServersProvider()
public static String getServersList()
public static void registerServer(String server)
server
public static void deregisterServer(String server)
Copyright © 2012 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.