Exemple #1
0
<?php

/*
Copyright (C) 2014 Universitätsbibliothek Mannheim
See file LICENSE for license details.
Author: Stefan Weil, Universitätsbibliothek Mannheim
*/
$servername = $_SERVER["SERVER_NAME"];
$serveraddress = $_SERVER["SERVER_ADDR"];
$serveruri = dirname(dirname(dirname(dirname($_SERVER["REQUEST_URI"]))));
$pin = sprintf("%04u", rand(0, 9999));
$url = "http://{$servername}{$serveruri}";
// Store PIN in database.
require_once '../../../DBConnector.class.php';
$dbcon = new DBConnector();
$dbcon->exec("UPDATE setting SET value='{$pin}' WHERE key='pin'");
?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
       "http://www.w3.org/TR/html4/strict.dtd">

<html lang="de">

<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<title>PalMA &ndash; Screen Saver</title>
<script type="text/javascript" src="/javascript/jquery/jquery.js"></script>
<style type="text/css">
* {
    margin: 0;
    padding: 0;
}