Maybe this should be drupal_exit()