Esempio n. 1
0
if ($argv[4] == 'stable6') {
    $branch = 'stable6';
} elseif ($argv[4] == 'stable5') {
    $branch = 'stable5';
} elseif ($argv[4] == 'stable7') {
    $branch = 'stable7';
} elseif ($argv[4] == 'stable8') {
    $branch = 'stable8';
} elseif ($argv[4] == 'stable8.1') {
    $branch = 'stable8.1';
} elseif ($argv[4] == 'stable8.2') {
    $branch = 'stable8.2';
} elseif ($argv[4] == 'master') {
    $branch = 'master';
} else {
    showhelp();
}
// workflows
if ($action == 'build') {
    if ($directory == '.') {
        $name = $repository;
    } else {
        $name = $directory;
    }
    echo "Building " . $name . " branch:" . $branch . "\n";
    passthru('rm -rf build-temp');
    mkdir('build-temp');
    chdir('build-temp');
    echo "Checkout " . $repository . "\n";
    passthru('git clone -q git@github.com:owncloud/' . $repository . '.git ' . $repository);
    chdir($repository);
<?php

$VERSION = "1.6";
$MSIE = ereg("MSIE", $HTTP_USER_AGENT);
if ($action == "showhelp") {
    showhelp($number);
}
if ($QUERY_STRING == "arrowup") {
    warrow("up");
}
if ($QUERY_STRING == "arrowdown") {
    warrow("down");
}
if ($action == "chparam") {
    SetCookie("host", $HTTP_POST_VARS["host"]);
    SetCookie("login", $HTTP_POST_VARS["login"]);
    SetCookie("password", $HTTP_POST_VARS["password"]);
    SetCookie("database", $HTTP_POST_VARS["database"]);
    SetCookie("DISABLEDM", $HTTP_POST_VARS["DISABLEDM"]);
}
$HOST = isset($HTTP_POST_VARS["host"]) ? $HTTP_POST_VARS["host"] : $HTTP_COOKIE_VARS["host"];
$LOGIN = isset($HTTP_POST_VARS["login"]) ? $HTTP_POST_VARS["login"] : $HTTP_COOKIE_VARS["login"];
$PASSWORD = isset($HTTP_POST_VARS["password"]) ? $HTTP_POST_VARS["password"] : $HTTP_COOKIE_VARS["password"];
$DATABASE = isset($HTTP_POST_VARS["database"]) ? $HTTP_POST_VARS["database"] : $HTTP_COOKIE_VARS["database"];
$DISABLEDM = isset($HTTP_POST_VARS["DISABLEDM"]) ? $HTTP_POST_VARS["DISABLEDM"] : $HTTP_COOKIE_VARS["DISABLEDM"];
$HISTORY = array();
for ($i = 0; $i < 10; $i++) {
    if (isset($HTTP_COOKIE_VARS["HISTORY_COOKIE{$i}"])) {
        $HISTORY[] = $HTTP_COOKIE_VARS["HISTORY_COOKIE{$i}"];
    }
}