From e3b171930e2188260c30e53afbdb897b18f1fb2f Mon Sep 17 00:00:00 2001
From: Martin Oberhuber < martin.oberhuber@windriver.com>
Date: Wed, 17 Jan 2007 18:50:22 +0000
Subject: [PATCH] Improved terminal logging

---
 .../src/org/eclipse/tm/terminal/Logger.java                | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/terminal/org.eclipse.tm.terminal/src/org/eclipse/tm/terminal/Logger.java b/terminal/org.eclipse.tm.terminal/src/org/eclipse/tm/terminal/Logger.java
index b7ec3f9d075..ad138be8cab 100644
--- a/terminal/org.eclipse.tm.terminal/src/org/eclipse/tm/terminal/Logger.java
+++ b/terminal/org.eclipse.tm.terminal/src/org/eclipse/tm/terminal/Logger.java
@@ -101,13 +101,14 @@ public final class Logger {
 						encoded=true;
 					} else if (c>=' ' && c<'\u007f') {
 						buf.append(c);
+					} else if (c <= '\u00ff') {
+							buf.append('\\'); buf.append('x'); 
+							buf.append(Integer.toHexString(c)); 
+							encoded=true;
 					} else {
 						buf.append('\\'); buf.append('u');
 						if (c<='\u0fff') { 
 							buf.append('0');
-							if (c<='\u00ff') {
-								buf.append('0');
-							}
 						}
 						buf.append(Integer.toHexString(c));
 						encoded=true;