Хранилища Subversion ant

Редакция

Редакция 519 | Редакция 522 | К новейшей редакции | Весь файл | Не учитывать пробелы | Содержимое файла | Авторство | Последнее изменение | Открыть журнал | RSS

Редакция 519 Редакция 520
Строка 721... Строка 721...
721
        $show .= "<div class='inputbox'><input type='submit' value=' Отправить данные '></div></fieldset>\n";
721
        $show .= "<div class='inputbox'><input type='submit' value=' Отправить данные '></div></fieldset>\n";
722
722
723
        return $show;
723
        return $show;
724
    }    
724
    }    
725
725
-
 
726
    /**
-
 
727
     * Парсер схемы адреса репозитория
-
 
728
     * FIXME Возможно не потребуется
-
 
729
     *
-
 
730
     * @author Alexander Wolf
-
 
731
     * @category Core
-
 
732
     *
-
 
733
     * @param string $repstring
-
 
734
     * @return integer
-
 
735
     */
-
 
736
    public function repositoryParser($repstring) {
-
 
737
        $tokens = array();
-
 
738
        $sections = array();
-
 
739
        $tokens = split(" ",$repstring);
-
 
740
-
 
741
        if ($tokens[0] == "deb") {
-
 
742
            // debian/ubuntu репозиторий "type proto://host/folder distr sections"
-
 
743
            $url = parse_url($tokens[1]);
-
 
744
            $distr  = $tokens[2];
-
 
745
-
 
746
            for($i=3;$i<count($tokens);$i++) {
-
 
747
                $sections[] = $tokens[$i];
-
 
748
            }
-
 
749
        } else {
-
 
750
            // altlinux репозиторий "type [sign] proto://host/folder base repname"
-
 
751
            if (stripos($tokens[1],"]")!=0) {
-
 
752
                $sign = $tokens[1];
-
 
753
                $url = parse_url($tokens[2]);
-
 
754
                $base = $tokens[3];
-
 
755
                $repname = $tokens[4];
-
 
756
            } else {
-
 
757
                $url = parse_url($tokens[1]);
-
 
758
                $base = $tokens[2];
-
 
759
                $repname = $tokens[3];
-
 
760
            }
-
 
761
        }
-
 
762
-
 
763
        $proto      = $url["scheme"]."://";
-
 
764
        $addr       = $url["host"];
-
 
765
        if ($url["port"]!="") {
-
 
766
            $addr .= ":".$url["port"];
-
 
767
        }
-
 
768
        $path       = $url["path"];
-
 
769
-
 
770
        return 0;
-
 
771
    }
-
 
772
726
}
773
}
727
774
728
?>
775
?>
729
776