FileServerListProvider

constructor(file: File)

Instantiates a FileServerListProvider object.

Parameters

file

the file that will store the servers


constructor(filename: String)

Instantiates a FileServerListProvider object.

Parameters

filename

the filename that will store the servers.


constructor(file: Path)

Initialize a new instance of FileStorageServerListProvider

Parameters

file

the filename that will store the servers