4
table {border: 1px dotted gray; padding: 1em;}
7
<script language="javascript" src="../jquery/jquery-1.8.2.min.js"></script>
9
<script language="javascript">
11
// We keep the resultset in a variable if we want to redraw dynamically
12
// Size is updated through separate ajax call.
18
function bookPosition(position)
21
var resource=document.getElementById("resourceID").value;
22
var bookingdate=document.getElementById("date").value;
23
var customer=document.getElementById("userID").value;
24
var company=document.getElementById("type").value;
29
url: '../booking/makebooking_XML.php',
36
status: "2", // 2 = "Real" booking.
45
function errormsg(jqXHR,textStatus,errorThrown) {
46
alert(jqXHR.responseText);
49
function bookingmade(returnedData)
57
// Use size from initial ajax call
58
// Generate Table including booking Javascript calls
59
var output="<table border='1'>";
61
var matchedbooking,matched;
62
for(i = 0; i < size; i++) {
64
for (j = 0; j < resultset.childNodes.length; j++) {
65
if(resultset.childNodes.item(j).nodeName=="booking"){
66
var booking=resultset.childNodes.item(j);
67
if(i==booking.attributes['position'].nodeValue){
68
matchedbooking=booking;
75
output+="<td bgcolor='#ffeedd'> </td>";
77
output+="<td bgcolor='#ffffff' onclick='bookPosition("+i+")' style='cursor:pointer;'> </td>";
79
if(i%4==3) output+="</tr><tr>";
84
var div=document.getElementById('OutputDiv');
88
function ResultBooking(returnedData)
90
// An XML DOM document is returned from AJAX
91
resultset=returnedData.childNodes[0];
97
function ResultSize(returnedData)
99
// An XML DOM document is returned from AJAX
100
var resultsetsize=returnedData.childNodes[0];
102
// Iterate over all nodes in root node (i.e. customers)
103
for (i = 0; i < resultsetsize.childNodes.length; i++) {
104
if(resultsetsize.childNodes.item(i).nodeName=="resource"){
105
var resource=resultsetsize.childNodes.item(i);
106
size=resource.attributes['size'].nodeValue;
111
function processinputbox()
113
resource=document.getElementById("resourceID").value;
114
bookingdate=document.getElementById("date").value;
118
url: '../booking/getresourcesize_XML.php',
119
data: { resourceID: resource},
125
url: '../booking/getbookings_XML.php',
127
resourceID: resource,
130
success: ResultBooking
137
<form name='searchbookings'>
138
userID:<br><input type='text' name='userID' id='userID' onchange="processinputbox()" onkeyup="processinputbox()"><br>
139
resourceID:<br><input type='text' name='resourceID' id='resourceID' onchange="processinputbox()" onkeyup="processinputbox()"><br>
140
company:<br><input type='text' name='type' id='type' onchange="processinputbox()" onkeyup="processinputbox()"><br>
141
date:<br><input type='text' name='date' id='date' onchange="processinputbox()" onkeyup="processinputbox()"><br>