if (isEmpty($bookingName)) {
    echo "<p>Name cannot be empty</p>";
} else {
    if (!isLetters($bookingName)) {
        echo "<p>Name must be letters only.</p>";
    } else {
        $passCounter++;
    }
}
if (isEmpty($roomSelection)) {
    echo "<p>Room cannot be empty</p>";
} else {
    $passCounter++;
}
// Check details of check in check out
$errorArray = checkDetails($checkinDate, $checkoutDate);
if ($errorArray != null) {
    foreach ($errorArray as $error) {
        echo "<p>{$error}</p>";
    }
} else {
    $passCounter++;
}
// Cart
$cart = json_decode($_COOKIE['bookings']);
if ($passCounter === 3) {
    $_SESSION = array();
    session_destroy();
    ?>
            <script>
Example #2
0
function check($link)
{
    $status = checkStatus($link);
    if ($status['error'] == 'OK') {
        $stat_code = $status['status'];
        if ($stat_code < 0) {
            $stat = "Pending";
            $details = null;
        } else {
            if ($stat_code == 1) {
                $stat = "Compiling";
                $details = null;
            } else {
                if ($stat_code == 3) {
                    $stat = "Running";
                    $details = null;
                } else {
                    if ($stat_code == 0) {
                        $stat = "Done";
                        $details = checkDetails($link);
                        if ($details['error'] == 'OK') {
                            // Translate 'result' code
                            $result_string = '';
                            switch ($details['result']) {
                                case 0:
                                    $result_string = "Not running";
                                    break;
                                case 11:
                                    $result_string = "Compilation error";
                                    break;
                                case 12:
                                    $result_string = "Runtime error";
                                    break;
                                case 13:
                                    $result_string = "Time limit exceeded";
                                    break;
                                case 15:
                                    $result_string = "Success";
                                    break;
                                case 17:
                                    $result_string = "Memory limit exceeded";
                                    break;
                                case 19:
                                    $result_string = "Illegal system call";
                                    break;
                                case 20:
                                    $result_string = "Internal error";
                                    break;
                            }
                            $details['result_string'] = $result_string;
                        } else {
                            throw new Exception("checkDetails: " . $details['error']);
                        }
                    }
                }
            }
        }
    } else {
        throw new Exception("checkStatus: " . $status['error']);
    }
    return array('status' => $stat, 'details' => $details);
}