Use DocumentParser::messageQuit() in execute_module.processor.php if a parse error is detected.