}
$buttons = "";
if (isset($_REQUEST['new'])) {
    $new = true;
} else {
    $new = false;
}
if (isset($_REQUEST['edit']) || $new) {
    $edit = true;
} else {
    $edit = false;
}
$del = isset($_REQUEST['del']);
if (isset($_REQUEST['Gebruiker'])) {
    if (!$del || !delGebruiker($_REQUEST['Gebruiker'])) {
        $Gebruiker = readGebruiker($_REQUEST['Gebruiker']);
    } else {
        $Gebruiker = false;
    }
    // delete was a succes!
} else {
    if ($new) {
        $Gebruiker = new Gebruiker();
    } else {
        $Gebruiker = false;
    }
}
if ($Gebruiker) {
    writeHead("<TITLE>Gebruiker - Meterkast - ADL Prototype</TITLE>" . ($edit ? '<SCRIPT type="text/javascript" src="js/edit.js"></SCRIPT>' : '<SCRIPT type="text/javascript" src="js/navigate.js"></SCRIPT>') . "\n");
    if ($edit) {
        echo '<FORM name="editForm" action="' . $_SERVER['PHP_SELF'] . '" method="POST" class="Edit">';
  </td><vr/><td>
  <H3>Laad een eerdere versie van een Ampersandscript
  <a href="javascript:void(0);" 
     onmouseover="return overlib('<?php 
echo SESSIELADEN;
?>
',WIDTH, 350,ABOVE);"
     onmouseout="return nd();">
     <?php 
echo '<IMG SRC="' . IMGPATH . 'info.png" />';
?>
</a>
  </H3>
  <p>Scriptversie <select name="sessie"><?php 
$myscripts = array();
if ($usr = readGebruiker($ses->get_gebruiker())) {
    //ignore sessions/files which cannot be found
    foreach ($usr->get_sessies() as $sesid) {
        if ($sesi = readSession($sesid)) {
            if ($sesf = readBestand($sesi->get_file())) {
                $myscripts += array($sesf->getId() => '<option value="' . $sesid . '">' . $sesf->get_path() . ' (' . $sesf->getId() . ')</option>');
            }
        }
    }
    if (ksort($myscripts)) {
        echo print_r(array_reverse($myscripts, true));
    }
}
?>
</select></p><br>
  <P><input type="submit" name="adlsessie" value="Script laden" /></P>