Rev 56 | Rev 59 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed
<?php
include_once( '../../header.php' );
if ( isset( $_REQUEST['document_id'] ) ) {
$query =
"select
concat( b.theValue, '/', a.theValue, '/', document.name_on_disk )
from
document, _system a, _system b
where
document.document_id = $_REQUEST[document_id]
and a.group_name = 'Documents'
and a.key_name = 'root path'
and b.group_name = 'System'
and b.key_name = 'root url'";
$path = getOneDBValue( $query );
if ( $path )
header( "Location: $path" );
}
print "<html><body>Can not load document</body></html>";
?>