3 * Runs a tool on a file
6 require_once 'www-header.php';
7 $repo = new Repository();
8 $repo->loadFromRequest();
10 if (!isset($_GET['file']) || $_GET['file'] == '') {
11 throw new Exception_Input('File name missing');
13 $file = $repo->getFileByName($_GET['file']);
15 if (!isset($_GET['tool']) || $_GET['tool'] == '') {
16 throw new Exception_Input('Tool name missing');
19 $tm = new Tool_Manager();
20 $tool = $tm->loadTool($_GET['tool']);
22 $res = $tool->run($file);