", $result); echo $result; } else { echo "Results not available"; } } break; case "delete": // delete the results for the module if(isset($_SESSION[$_GET["result_id"]])) { $file = MODULE_TMP_DIR . $_SESSION[$_GET["result_id"]]; if(file_exists($file)) { unlink($file); } } break; } ?>