[PATCH 6 of 6 V3] util.system: rename to rawsystem in favor of ui.system()

[Matt Mackall]

On Wed, 2014-11-12 at 23:38 +0900, Yuya Nishihara wrote:
> # HG changeset patch
> # User Yuya Nishihara <yuya at tcha.org>
> # Date 1415799589 -32400
> #      Wed Nov 12 22:39:49 2014 +0900
> # Node ID 18c87a673070fbce78849c3beced2b9d14835abe
> # Parent  b6944cd4197b1bb1d1fd9e2d6f94453d297c3f03
> util.system: rename to rawsystem in favor of ui.system()
> 
> This forces third-party extensions to migrate to ui.system(). util.rawsystem()
> is unsafe in command server.

Wouldn't it be better for the commandserver to modify sys.stdout?

-- 
Mathematics is the supreme nostalgia of our time.