For bug #139383, in xtermTitleReset() use os.system() instead of commands.getoutput...
authorZac Medico <zmedico@gentoo.org>
Mon, 30 Jul 2007 03:35:35 +0000 (03:35 -0000)
committerZac Medico <zmedico@gentoo.org>
Mon, 30 Jul 2007 03:35:35 +0000 (03:35 -0000)
commit8929175f9599af5067becddd32a78325bd64eef4
tree6870374dd5f68110eb5055f7a3cd53bdc1b33cca
parented9de094f7509ffa6aa0ff0600a979fa572c677f
For bug #139383, in xtermTitleReset() use os.system() instead of commands.getoutput() since the latter puts too much restriction on what echo -ne "\033_${USER}@${HOSTNAME%%.*}:${PWD/$HOME/~}\033\\" may contain. (branches/2.1.2 r6769, r6773, r6800, and r6847)

svn path=/main/branches/2.1.2.9/; revision=7454
pym/output.py