setAttribute(PDO::ATTR_ERRMODE,PDO::ERRMODE_EXCEPTION);
if (isset($_POST['incremento'])) {
$stmt = $conn -> query("SELECT GET_LOCK('contatore',5)");
$lock = $stmt -> fetch();
$stmt = null;
if ($lock[0]!=1) die('errore: probabile congestionamento del sistema');
$stmt=$conn->query("SELECT * FROM contatore");
$riga=$stmt->fetch();
$stmt=null;
$newval=$riga[0]+$_POST['incremento'];
$stmt=$conn->prepare("UPDATE contatore SET val=?");
$stmt->execute(array($newval));
$stmt=null;
$conn -> query("SELECT RELEASE_LOCK('contatore')");
redirect_browser($_SERVER['PHP_SELF']);
} else {
?>
Contatore
query("SELECT * FROM contatore");
$riga=$stmt->fetch();
echo "Il contatore vale: $riga[0]
\n";
?>