# lighttpd.conf for sage
$HTTP["host"] =~ "ftp.kaist.ac.kr|143.248..*" {
    $HTTP["url"] =~ "^/sage/" {
        index-file.names += ("index.html")
    }
}
