Update site

This commit is contained in:
Victor Shcherb 2012-11-15 18:22:35 +01:00
parent d6633930c9
commit 94c24b26d0

View file

@ -1,10 +1,6 @@
<?php <?php
$local_file = false; function loadIndexesFromDir($out, $outputIndexes, $dir, $elementName, $mapNodes){
if( basename($_SERVER['PHP_SELF']) == basename(__FILE__)) { $local_file = basename($_SERVER['PHP_SELF']) == basename(__FILE__);
$local_file = true;
}
function loadIndexesFromDir($output, $outputIndexes, $dir, $elementName, $mapNodes){
if (is_dir($dir)) { if (is_dir($dir)) {
if ($dh = opendir($dir)) { if ($dh = opendir($dir)) {
$zip = new ZipArchive(); $zip = new ZipArchive();
@ -59,7 +55,7 @@ function loadIndexesFromDir($output, $outputIndexes, $dir, $elementName, $mapNod
} }
function updateGoogleCodeIndexes($update=false) { function updateGoogleCodeIndexes($update=false) {
$local_file = basename($_SERVER['PHP_SELF']) == basename(__FILE__);
if( $local_file) { if( $local_file) {
$update = true; $update = true;
} }