1070 |
|
|
1071 |
////////////////////////////////////////////////////////////////// |
////////////////////////////////////////////////////////////////// |
1072 |
|
|
1073 |
|
function redir_to_url($url) { |
1074 |
|
$url=urlencode(StripSlashes("$relDir/$F")); |
1075 |
|
$url=str_replace("%2F","/",$url); |
1076 |
|
$url=str_replace("+","%20",$url); |
1077 |
|
Header("Location: $url"); |
1078 |
|
} |
1079 |
|
|
1080 |
|
////////////////////////////////////////////////////////////////// |
1081 |
|
|
1082 |
// MAIN PROGRAM |
// MAIN PROGRAM |
1083 |
// ============ |
// ============ |
1084 |
// query parameters: capital letters |
// query parameters: capital letters |
1334 |
case "Co" : |
case "Co" : |
1335 |
// checkout |
// checkout |
1336 |
Lock("$gblFsRoot/$relDir/$F"); |
Lock("$gblFsRoot/$relDir/$F"); |
1337 |
$url="$relDir/$F"; $url=str_replace(" ","%20",$url); |
redir_to_url("$relDir/$F"); |
|
Header("Location: $url"); |
|
1338 |
exit; |
exit; |
1339 |
case "Ci" : |
case "Ci" : |
1340 |
// upload && update to $relDir |
// upload && update to $relDir |
1349 |
case "V" : |
case "V" : |
1350 |
// view |
// view |
1351 |
Log("viewed"); |
Log("viewed"); |
1352 |
$url="$relDir/$F"; $url=str_replace(" ","%20",$url); |
redir_to_url("$relDir/$F"); |
|
Header("Location: $url"); |
|
1353 |
exit; |
exit; |
1354 |
} |
} |
1355 |
|
|