Server.java 文件源码

public Server(String fileName, boolean restart) {
    super();
    parseServerFile(fileName);
    seatAssignments = new ArrayList<>(nSeats);
    for (int i = 0; i < nSeats; i++)
        seatAssignments.add("");

    log.getParent().removeHandler(log.getParent().getHandlers()[0]);

    try {
        // check if logs dir exists
        File logDir = new File("./logs/"); 
        if( !(logDir.exists()) )
            logDir.mkdir();

        FileHandler fh = new FileHandler("logs/server_log_" + serverID + ".log");
        fh.setFormatter(new SimpleFormatter());
        fh.setLevel(logLevel);
        log.addHandler(fh);

        ConsoleHandler ch = new ConsoleHandler();
        ch.setLevel(logLevel);
        log.addHandler(ch);
        log.setLevel(logLevel);

        log.info("Server initializing...");
        log.info("ServerID = " + serverID);
        log.info("nServers = " + nServers);
        log.info("nSeats = " + nSeats);
        log.info("my tcp port = " + tcpPort);
        for (int i = 0; i < nServers; i++)
            log.info("Server " + i + ": " + servers.get(i) + ":" + ports.get(i));
        log.info("Server init complete");
        log.info("--------------------------------");
        mutex = new LamportMutex(servers, ports, this, restart);
        mutex.init();
    } catch (SecurityException | IOException e) {
        e.printStackTrace();
    }
}