server()) { echo("\n"); exit; }