//run the file - checking for errors at each SQL execution
$f = fopen($sql_file, "r");
$contents = fread($f, filesize($sql_file));
$statements = explode(';', $contents);
//Process the sql file by statements
foreach ($statements as $statement) {
if (strlen(trim($statement)) > 3) {
$result = mysql_query($statement);
if (!$result) {
$installer->addErrorMessage(mysql_error() . "<br /><br />For statement: " . $statement);
break;
}
}
}
if (!$installer->hasErrorMessages()) {
$installer->addMessage("Update {$version} was successfully applied.");
header('Location: index.php');
exit;
}
}
} else {
if (!$installer->hasErrorMessages()) {
$installer->addErrorMessage("The database user does not have the required permissions: " . implode(", ", $update["privileges"]));
}
}
}
$installer->header("CORAL Resources Update {$version}");
$installer->displayMessages();
?>
<h3>Welcome to the CORAL Resources update for Version <?php
echo $version;
