# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1392307656 -3600
# Node ID 35783e78eaefc67e2df7efe893ca4960b262e087
# Parent  f694daada5bf93197b169b15b3556efb67b3bc1b
mx.run: shell-escape arguments when printing them in verbose mode

diff -r f694daada5bf -r 35783e78eaef mxtool/mx.py
--- a/mxtool/mx.py	Thu Feb 13 17:03:20 2014 +0100
+++ b/mxtool/mx.py	Thu Feb 13 17:07:36 2014 +0100
@@ -38,6 +38,7 @@
 import socket
 import xml.parsers.expat
 import shutil, re, xml.dom.minidom
+import pipes
 from collections import Callable
 from threading import Thread
 from argparse import ArgumentParser, REMAINDER
@@ -1131,7 +1132,7 @@
             log('Environment variables:')
             for key in sorted(env.keys()):
                 log('    ' + key + '=' + env[key])
-        log(' '.join(args))
+        log(' '.join(map(pipes.quote, args)))
 
     if timeout is None and _opts.ptimeout != 0:
         timeout = _opts.ptimeout