Example #1
0
function updateSession()
{
    global $db, $_SESS;
    $db->query('UPDATE sessions SET sess_expires = \'' . (time() + SESSION_EXPIRE) . '\', sess_uid = \'' . $_SESS['sess_uid'] . '\' WHERE sess_key = \'' . $_SESS['sess_key'] . '\'');
    readSession($_SESS['sess_key']);
}
    }
} else {
    DEFINE("USER", str_replace("\\", "_", $_SERVER['AUTH_USER']));
}
DEFINE("IMGPATH", "");
DEFINE("FILEPATH", "comp/" . USER . "/");
DEFINE("COMPILATIONS_PATH", "comp/" . USER . "/");
// DEFINE("ADL_PATH_ABS","/Users/basj/ADL_ou/");
// passthru ('PATH=$PATH:'.ADL_PATH_ABS);// or exit('error:Cannot set PATH directive using exec');
session_start();
require "inc/Session.inc.php";
require "inc/Bestand.inc.php";
require "inc/Actie.inc.php";
require "inc/Operatie.inc.php";
require "inc/connectToDataBase.inc.php";
$ses = readSession($_SESSION["adlsessie"]) or exit('error:Cannot find session, ensure cookies are enabled');
//  if($ses->get_ip()!=$_SERVER['REMOTE_ADDR']){
//    exit('error:Cannot find a session for your IP, ensure cookies are enabled');
//  }
$file = readBestand($ses->get_file()) or exit('error:Cannot find the file to compile. Upload a file first');
if (!isset($_REQUEST['op'])) {
    exit('error:Variable \'op\' not given');
} else {
    $op = $_REQUEST['op'];
}
$opr = readOperatie($op) or exit('error:Operation op=\'' . $op . '\' unknown');
$target = escapeshellcmd(COMPILATIONS_PATH . $file->getId() . '_' . $op . '/');
$source = escapeshellcmd(FILEPATH . $file->getId() . '.adl');
$compileurl = '' . sprintf($opr->get_outputURL(), $target, $source, $file->getId(), USER);
//  function ok($i){
//    return '<A HREF="'.COMPILATIONS_PATH.$i.'/"><IMG SRC="'.IMGPATH.'ok.png" /></A>';
Example #3
0
}
$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['Session'])) {
    if (!$del || !delSession($_REQUEST['Session'])) {
        $Session = readSession($_REQUEST['Session']);
    } else {
        $Session = false;
    }
    // delete was a succes!
} else {
    if ($new) {
        $Session = new Session();
    } else {
        $Session = false;
    }
}
if ($Session) {
    writeHead("<TITLE>Session - VIRO - ADL Prototype</TITLE>" . ($edit ? '<SCRIPT type="text/javascript" src="edit.js"></SCRIPT>' : '<SCRIPT type="text/javascript" src="navigate.js"></SCRIPT>') . "\n");
    if ($edit) {
        echo '<FORM name="editForm" action="' . $_SERVER['PHP_SELF'] . '" method="POST" class="Edit">';
     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>
  </td>
  </tr></table>
  </FORM>