modules/gitolite/delete.php (637cd93) - webinterface.git

delete.php

<?php
require_role(ROLE_SYSTEMUSER);
require_once('inc/security.php');

include('git.php');
$section = 'git_git';

if (isset($_GET['repo'])) {
  $repos = list_repos();
  if (!array_key_exists($_GET['repo'], $repos)) {
    system_failure("Es sollte ein unbekanntes Repository gelöscht werden!");
  }

$sure = user_is_sure();
 if ($sure === NULL)
 {
 are_you_sure("repo={$_GET['repo']}", 'Soll das GIT-Repository »'.$_GET['repo'].'« wirklich gelöscht werden?
 Alle Inhalte die in diesem Repository gespeichert sind, werden gelöscht!');
 }
 elseif ($sure === true)
 {
 delete_repo($_GET['repo']);
 if (! $debugmode)
 header('Location: git');
 die();
 }
 elseif ($sure === false)
 {
 if (! $debugmode)
 header("Location: git");
 die();
 }
}

if (isset($_GET['handle'])) {
  $users = list_users();
  if (!in_array($_GET['handle'], $users)) {
    system_failure("Es sollte ein unbekannter SSH-Key gelöscht werden!");
  }

$sure = user_is_sure();
 if ($sure === NULL)
 {
 are_you_sure("handle={$_GET['handle']}", 'Soll der SSH-Key »'.$_GET['handle'].'« wirklich gelöscht werden?');
 }
 elseif ($sure === true)
 {
 delete_key($_GET['handle']);
 if (! $debugmode)
 header('Location: git');
 die();
 }
 elseif ($sure === false)
 {
 if (! $debugmode)
 header("Location: git");
 die();
 }
}

webinterface.git

Fürs erste feature-complete