<?php
/**
* Deletes a lab
*/
ob_start();
require_once "model.php";
//only accessible if logged in as instructor
session_start();
if (!isset($_SESSION['loggedInUser']) || $_SESSION['isInstructor'] != '1') {
redirectTo("index.php");
}
$lab = $_GET['id'];
echo $lab;
deleteLab($lab);
redirectTo("labs_manage.php");
ob_flush();
editEquipment();
break;
case 7:
deleteEquipment();
break;
case 8:
addLab();
break;
case 9:
getLabs();
break;
case 10:
editLab();
break;
case 11:
deleteLab();
break;
case 12:
addManufacturer();
break;
case 13:
getManufacturers();
break;
case 14:
editManufacturer();
break;
case 15:
deleteManufacturer();
break;
default:
echo '{"result": 0, "message": "Unknown command"}';
