www-irc/inc/servers.php

<?php

function getServers() {
    return array(
        "irc.knacki.info" => array(
            "ports" => array(
                "6667" => false,
                "6697" => true
            )
        ),
        "mirror.knacki.info" => array(
            "ports" => array(
                "6667" => false,
                "6697" => true
            )
        )
    );
}

function getServersState() {
    require_once("./.htconfig.php");

    $state = @file_get_contents(PING_FILE);
    if (!$state) {
        error_log("Cannot read state file /tmp/irc_ping_state");
        return null;
    }
    return json_decode($state);
}

function writeServersState($states) {
    require_once("./.htconfig.php");

    file_put_contents(PING_FILE, json_encode($states));
}

?>