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

$maintdir = "..";

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

get_login(true);
if ($theUser->getUserType() != 1)
  header("Location: $maintdir");

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

require("$catdir/constants.php3");
require("$classdir/User.php3");

for ($i = 0; $i < $num_users; $i++) {
  // Check for several things

  // The id_$i variable will contain the unique ID for this user

  $id_str = "id_$i";
  $id = $$id_str;

  // The delete_$i will be 1 if this user is to be deleted

  $delete_str = "delete_$i";
  $delete = $$delete_str;
  if ($delete == "1") {
    deleteUser($id);
  }
}

// All done.  Go back to the edit page

header("Location: ./");