########################################################################
# Method:       delete_principal
# Use:          deletes a principal
# Note:         assumes that &tc has already cleared this operation
# Created:      07/28/1998 MLN
########################################################################

sub delete_principal
{
        local($principal) = $in{"principal"};
        local(@principals);

        open (P,"$principal_file");
        while (<P>)
        {
                push (@principals, $_);
        }
        close (P);

        open (P,">$principal_file");
        foreach $p (@principals)
        {
                @just_p = split(/:/,$p);

                if ($just_p[0] eq $principal) {
                        next;
                } else {
                        print P "$p\n";
                }
        }
        close (P);

        &http_header("text/plain");
        print "delete_principal: principal $principal deleted\n";

        &log("delete_principal", "OK","principal $principal deleted");
}

1;