 			$scope.pdf.projectTooLarge = false
 			$scope.pdf.compileTerminated = false
 			$scope.pdf.compileExited = false
+			$scope.pdf.failedCheck = false
 
 			# make a cache to look up files by name
 			fileByPath = {}

				$scope.stop_on_validation_error = false
				$scope.shouldShowLogs = false # hide the logs while compiling

			ide.$scope.$broadcast("flush-changes")

			options.rootDocOverride_id = getRootDocOverride_id()

				$scope.pdf.view = 'pdf'
				$scope.pdf.url = last_pdf_url
				$scope.shouldShowLogs = true
				$scope.pdf.failedCheck = true if response.status is "validation-fail"
				fetchLogs(fileByPath, { validation: true })
			else if response.status == "exited"
				$scope.pdf.view = 'pdf'
