php的header()

在php中使用header("Location: index.html");进行跳转时，后面应该写上exit();表示后面的代码不用执行了。