From 609bce4d04ce699e6f3d26f533e63101187b0cbb Mon Sep 17 00:00:00 2001
From: Felipe Pena <felipe@php.net>
Date: Thu, 1 Dec 2011 15:47:58 +0000
Subject: [PATCH] - Replace possible esc char to <esc> in the XML output

---
 run-tests.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/run-tests.php b/run-tests.php
index 49f4bb2e90..39686ce6c3 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -2100,11 +2100,11 @@ $output
 		}
 		elseif (in_array('FAIL', $restype)) {
 			$JUNIT['test_fail']++;
-			$JUNIT['result_xml'] .= '<failure type="'.$restype[0].'ED" message="'.$info.'"><![CDATA['."\n".$diff."\n".']]></failure>'."\n";
+			$JUNIT['result_xml'] .= '<failure type="'.$restype[0].'ED" message="'.$info.'"><![CDATA['."\n".preg_replace('/\e/', '<esc>', $diff)."\n".']]></failure>'."\n";
 		}
 		else{
 			$JUNIT['test_error']++;
-			$JUNIT['result_xml'] .= '<error type="'.$restype[0].'ED" message="'.$info.'"><![CDATA['."\n".$diff."\n".']]></error>'."\n";
+			$JUNIT['result_xml'] .= '<error type="'.$restype[0].'ED" message="'.$info.'"><![CDATA['."\n".preg_replace('/\e/', '<esc>', $diff)."\n".']]></error>'."\n";
 		}
 		$JUNIT['result_xml'] .= '</testcase>'."\n";
 	}
-- 
2.40.0