Package it.polimi.ingsw.Server

Class ServerManager

java.lang.Object

it.polimi.ingsw.Server.ServerManager

public class ServerManager
extends Object

Server management console

Field Summary

Fields

Modifier and Type	Field	Description
private static final Map<GameController,Object>	controllerToCommuter
private static final Map<GameController,Object>	controllerToLobbyCommuter
private static final Map<GameController,Semaphore>	controllerToSemaphore
private static final int	countParameters
private static final SimpleDateFormat	dateFormatter
private static final ExecutorService	executor
private static FileHandler	FH
private static final Map<String,GameController>	identifierToController
private static Logger	logFile

Constructor Summary

Constructors

Constructor	Description
ServerManager()

Method Summary

Modifier and Type	Method	Description
private static void	createLog()
private static void	loadPersistentGames()
static void	main(String[] args)	Main method, welcoming Server management console
private static void	manageLog()
private static void	RMIServer(String[] args)
private static void	SocketServer(String[] args)
static void	writeInfo(String msg)	Outputs an informative message in Server's log (and terminalOutput)
static void	writeWarning(String msg)	Outputs a Warning in Server's log (and terminalOutput)

Methods inherited from class java.lang.Object

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

Field Details

identifierToController

private static final Map<String,GameController> identifierToController

controllerToSemaphore

private static final Map<GameController,Semaphore> controllerToSemaphore

controllerToCommuter

private static final Map<GameController,Object> controllerToCommuter

controllerToLobbyCommuter

private static final Map<GameController,Object> controllerToLobbyCommuter

executor

private static final ExecutorService executor

countParameters

private static final int countParameters

See Also:

• Constant Field Values

dateFormatter

private static final SimpleDateFormat dateFormatter

logFile

private static Logger logFile

FH

private static FileHandler FH

Constructor Details

ServerManager

public ServerManager()

Method Details

main

public static void main(String[] args)

Main method, welcoming Server management console

Parameters:

args - default arguments array

createLog

private static void createLog()

manageLog

private static void manageLog()

writeWarning

public static void writeWarning(String msg)

Outputs a Warning in Server's log (and terminalOutput)

Parameters:

msg - message

writeInfo

public static void writeInfo(String msg)

Outputs an informative message in Server's log (and terminalOutput)

Parameters:

msg - message

loadPersistentGames

private static void loadPersistentGames()

SocketServer

private static void SocketServer(String[] args)

RMIServer

private static void RMIServer(String[] args)