<? // -*- c++ -*-

$maintdir = "..";

require("$maintdir/constants.php3");
require("$authdir/get-login.php3");

get_login(true);

// If we get past here, we're logged in

require("$verdir/constants.php3");
require("$classdir/Version.php3");

if ($new_name != "") {
  $v = new Version("");
  $v->setActive(true);
  $v->setName($new_name);
  $v->setVersion($new_major, $new_minor, $new_release, $new_beta, 
		 $new_patchlevel);

  $v->create();
}

header("Location: ./");