# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1342787903 -7200
# Node ID 246d2783401754abe016967fd1f9996dc47f87ad
# Parent  d0913d4d96ccb329340f7eeb1eb15d8c98fe376d# Parent  a10e72af4dc5e24bf1515483d9348592345dd9ae
Merge

diff -r d0913d4d96cc -r 246d27834017 mx/commands.py
--- a/mx/commands.py	Fri Jul 20 14:33:14 2012 +0200
+++ b/mx/commands.py	Fri Jul 20 14:38:23 2012 +0200
@@ -391,11 +391,11 @@
                 ret = True
         if line == ENDTOKEN:
             if not findInOutput:
-                stdin.write('echo ERR%errorlevel%' + newLine)
+                stdin.write('echo ERRXXX%errorlevel%' + newLine)
             else:
                 break
-        if line.startswith('ERR'):
-            if line == 'ERR0':
+        if line.startswith('ERRXXX'):
+            if line == 'ERRXXX0':
                 ret = True
             break;
     stdin.write('exit' + newLine)