pro.gravit.launchserver.manangers

Class MirrorManager

java.lang.Object

pro.gravit.launchserver.manangers.MirrorManager

public class MirrorManager
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	MirrorManager.Mirror

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.ArrayList<MirrorManager.Mirror>	list

Constructor Summary

Constructors

Constructor and Description
MirrorManager()

Method Summary

Modifier and Type	Method and Description
void	addMirror(java.lang.String mirror)
void	addMirror(java.lang.String mirror, boolean enabled)
void	disableMirror(int index)
void	enableMirror(int index)
MirrorManager.Mirror	getDefaultMirror()
void	setDefaultMirror(MirrorManager.Mirror m)
int	size()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

list

protected java.util.ArrayList<MirrorManager.Mirror> list

Constructor Detail

MirrorManager

public MirrorManager()

Method Detail

addMirror

public void addMirror(java.lang.String mirror)

addMirror

public void addMirror(java.lang.String mirror,
                      boolean enabled)
               throws java.net.MalformedURLException

Throws:

java.net.MalformedURLException

getDefaultMirror

public MirrorManager.Mirror getDefaultMirror()

setDefaultMirror

public void setDefaultMirror(MirrorManager.Mirror m)

disableMirror

public void disableMirror(int index)

enableMirror

public void enableMirror(int index)

size

public int size()