PHP的维护模式

[php]代码库

function maintenance($mode = FALSE){ 
    if($mode){ 
        if(basename($_SERVER['SCRIPT_FILENAME']) != 'maintenance.php'){ 
            header("Location: http://example.com/maintenance.php"); 
            exit; 
        } 
    }else{ 
        if(basename($_SERVER['SCRIPT_FILENAME']) == 'maintenance.php'){ 
            header("Location: http://example.com/"); 
            exit; 
        } 
    } 
}