root/branches/dsss-smi/config.php

<?PHP
// DSSS SMI configuration

$privileges_master = "gregor";

// try to get privileges from sources/privileges, if it exists
$privileges = array();
if (file_exists("sources/privileges")) {
    // read it all in: each line is a user
    $lines = file("sources/privileges");

    // turn it into the privileges array
    foreach ($lines as $line) {
        if ($line == "") continue;
        if (substr($line, 0, 1) == "#") continue;
        
        $elems = explode(" ", $line);
        $privileges[$elems[0]] = array_slice($elems, 1);
    }
} else {
    $privileges[$privileges_master] = array("privileges");
}

$dsss_user = "dsss";
$dsss_home = "/home/dsss";

?>