exit;
}
if (isset($_GET['action']) && $_GET['action'] == "stop") {
$name = $_SESSION['mm_user']['name'];
$_SESSION['mm_veld'] = NULL;
$_SESSION['mm_user'] = NULL;
$_SESSION['mm_user']['name'] = $name;
Header("Location: " . $_SERVER['SCRIPT_NAME']);
exit;
}
if (!isset($_SESSION['mm_user']['play']) || $_SESSION['mm_user']['play'] != 1) {
if (isset($_POST['check']) && Goede_Gebruikersnaam($_POST['name'])) {
$_SESSION['mm_user']['play'] = 1;
$_SESSION['mm_user']['starttime'] = time();
$_SESSION['mm_user']['name'] = $_POST['name'];
Create_Field();
Header("Location: " . $_SERVER['SCRIPT_NAME']);
exit;
}
?>
<html>
<head><title>MASTERMIND</title></head>
<script>
if (top.location != this.location) top.location = this.location;
</script>
<body style='margin:0px;'>
<table border=0 cellpadding=0 cellspacing=0 width=100% height=100%>
<tr>
<td><center>
<form method=post action="<?php
echo $_SERVER['SCRIPT_NAME'];
$_SESSION['bb_user'] = NULL;
$_SESSION['bb_user'][name] = $name;
Header("Location: ".$_SERVER['SCRIPT_NAME']);
exit;
}
// */
if ($_SESSION['bb_user']['play']!=2)
{
if ($_POST[check] == 1 && Goede_Gebruikersnaam($_POST[name]))
{
$_SESSION['bb_user']['play'] = 2;
$_SESSION['bb_user']['name'] = $_POST['name'];
$_SESSION['bb_user']['starttime'] = time();
Create_Field($SIDES,$ATOMS);
Header("Location: ".$_SERVER['SCRIPT_NAME']);
exit;
}
?>
<html>
<head><title>BLACKBOX</title></head>
<script>
if (top.location!=this.location)
top.location='<?php
echo $_SERVER[SCRIPT_NAME];
?>
';
</script>
<body style='margin:0px;'>