| 1 |
<? |
<? |
| 2 |
if (isset($_SERVER["argv"][0])) |
if (isset($_SERVER["argv"]) && strrpos($_SERVER["argv"][0], "/") !== false) |
| 3 |
chdir(substr($_SERVER["argv"][0],0,strrpos($_SERVER["argv"][0],"/"))); |
{ |
| 4 |
|
chdir(substr($_SERVER["argv"][0], 0, strrpos($_SERVER["argv"][0], "/"))); |
| 5 |
require_once "./session_init.inc.php"; |
} |
|
|
|
|
//Set data for session |
|
|
$_SESSION["MNG_uid"]=-1; |
|
|
$_SESSION["MNG_priv"]["db_cleanup"]=1; |
|
|
$_SESSION["MNG_priv"]["score_cacl"]=1; |
|
| 6 |
|
|
| 7 |
include "./db_cleanup.php"; |
include "./db_cleanup.php"; |
| 8 |
include "./db_repair.php"; |
include "./db_repair.php"; |
|
|
|
| 9 |
include "./bbs_score_calculate.php"; |
include "./bbs_score_calculate.php"; |
|
|
|
|
session_unset(); |
|
|
session_destroy(); |
|
| 10 |
?> |
?> |