$mybase UPDATE; exit; } function do_nothing() { echo << NOUPDATE; exit; } ?>