summaryrefslogtreecommitdiffstats
path: root/tools/infra-dashboard/utils/book.php
diff options
context:
space:
mode:
Diffstat (limited to 'tools/infra-dashboard/utils/book.php')
-rw-r--r--tools/infra-dashboard/utils/book.php82
1 files changed, 0 insertions, 82 deletions
diff --git a/tools/infra-dashboard/utils/book.php b/tools/infra-dashboard/utils/book.php
deleted file mode 100644
index 6d4c5b20..00000000
--- a/tools/infra-dashboard/utils/book.php
+++ /dev/null
@@ -1,82 +0,0 @@
-<?php
-
- include 'database.php';
-
- function book() {
- $resource_id = $_POST['resource_id'];
- $resource_name = $_POST['resource_name'];
- $user_id = $_POST['user_id'];
- $start = $_POST['start'];
- $end = $_POST['end'];
- $purpose = $_POST['purpose'];
-
- $query = "select role.name as rolename from user, role, user_role where user.user_id = ".$user_id." and role.role_id=user_role.role_id and user_role.user_id=user.user_id;";
- $result = mysql_query($query);
-
- if(mysql_num_rows($result) == 0) {
- echo "1"; //return a code instead of a meesage. Display the message later in javascript according to the returned code.
- //echo "Booking not possible (your account is not associated with a role). Please contact the administrator.";
- exit;
- }
- $is_only_lab_owner = true;
- while ($row = mysql_fetch_array($result)) {
- $rolename = $row['rolename'];
- if ($rolename != "lab_owner") $is_only_lab_owner = false;
- }
- if ($is_only_lab_owner) {
- $query = "select * from user u inner join user_resource r on r.user_id=u.user_id and u.user_id=".$user_id." and r.resource_id=".$resource_id.";";
- $result = mysql_query($query);
- if(mysql_num_rows($result) == 0) {
- echo "2";
- //echo "You are not allowed to book this resource. ";
- exit;
- }
- }
- $query = "INSERT INTO booking (resource_id, user_id, starttime, endtime, purpose) VALUES (".$resource_id.",".$user_id.",'".$start."','".$end."', '".$purpose."');";
- $result = mysql_query($query);
- if(mysql_insert_id()>0){
- echo "Booking successful. The resource '".$resource_name."' is booked from ".$start." to ".$end.".";
- }
- else{
- echo "Mysql Error : ".mysql_error().". Query = ".$query;
- }
-
- }
-
- function getBookedDates() {
- $resource_id = $_POST['resource_id'];
- $query = "SELECT b.booking_id, b.resource_id,u.name as username,u.email,b.starttime,b.endtime,b.creation,b.purpose FROM booking as b,user as u WHERE b.resource_id=".$resource_id." AND b.user_id=u.user_id;";
- $result = mysql_query($query);
-
- $events = array();
- while ($row = mysql_fetch_array($result)) {
- $e = array();
- $e['id'] = $row['booking_id'];
- $e['booker_name'] = $row['username'];
- $e['booker_email'] = $row['email'];
- $e['title'] = $row['purpose'];
- $e['start'] = $row['starttime'];
- $e['end'] = $row['endtime'];
- $e['bookdate'] = $row['creation'];
-
- // Merge the event array into the return array
- array_push($events, $e);
- }
-
- echo json_encode($events);
- }
-
-
-
- $action = $_POST['action'];
-
- connectDB();
- if ($action == "book") {
- book();
- } elseif ($action == "getBookedDates" ) {
- getBookedDates();
- } else {
- echo "Invalid POST action.";
- }
- closeDB();
-?>