I couldn't think of any reason why civiExit() would be needed b/c this callback doesn't modify the session. That said, it would only add a few ms to use it so it's ok by me.