header($url);
}
if (isset($_POST["update"])) {
$record[PUB_HOL_ID] = $_GET["ID"];
$record[PUB_HOL_NAME] = $_POST["name"];
$filter[DATE_TABLE_DATE] = $_POST["date"];
$dates = RetrieveDates($filter);
$date = $dates[0];
$currentRecord = RetrievePublicHolidayByID($_GET["ID"]);
if ($currentRecord != NULL) {
if ($currentRecord[PUB_HOL_DATE_ID] != $date[DATE_TABLE_DATE_ID]) {
//Date has changed, so remove the public holiday ID from the old
//date record and add to the new date record.
$oldDate = RetrieveDateByID($currentRecord[PUB_HOL_DATE_ID]);
$oldDate[DATE_TABLE_PUBLIC_HOL_ID] = NULL;
UpdateDate($oldDate);
}
}
$record[PUB_HOL_DATE_ID] = $date[DATE_TABLE_DATE_ID];
$success = UpdatePublicHoliday($record);
if ($success) {
$url = "Location:adminPublicHolidays.php";
header($url);
}
}
?>
<!DOCTYPE html>
<html>
<head>
<link href="https://maxcdn.bootstrapcdn.com/bootstrap/3.2.0/css/bootstrap.min.css" rel="stylesheet">
function DeletePublicHoliday($ID)
{
$result = 0;
$record = RetrievePublicHolidayByID($ID);
if ($record != NULL) {
$date = RetrieveDateByID($record[PUB_HOL_DATE_ID]);
$date[DATE_TABLE_PUBLIC_HOL_ID] = NULL;
UpdateDate($date);
$sql = "DELETE FROM publicHolidayTable WHERE publicHolidayID=" . $ID . ";";
$result = performSQL($sql);
}
GenerateStatus(true, "Record successfully deleted.");
return $result;
}
