function disconnect_ingres($link_ingres) { if ($link_ingres) { ingres_close($link_ingres); $link_ingres = false; } else { return false; } }
function __destruct() { ingres_close($this->Connection); }