server: shutdown command should lead to exit without evaluating the rest