<?php

if (isset($_GET['source'])) { die(highlight_file(__FILE__1)); }

// the summary produced by HexTAC's interface is sent by a POST request
if (!isset($_POST['summary'])) { die('This script must be called by HexTAC\'s interface.'); }

// user name, current date and time, and the document name are also sent by the POST request
echo
    
'<html><body>'.
    
'User: '.$_POST['user']."<br/>\n".
    
'Date: '.$_POST['date']."<br/>\n".
    
'Start time: '.$_POST['time']."<br/>\n".
    
'Document: '.$_POST['document']."<br/>\n".
    
"Summary:<br/>\n".
    
htmlspecialchars(stripslashes($_POST['summary']))."<br/>\n".
    
'</html></body>';

?>