[m-rev.] diff: C# io.call_system

[Julien Fischer]

On Thu, 9 Dec 2010, Peter Wang wrote:

> Branches: main
>
> Fix problems with C# implementation of io.call_system.

...

>
>        Set `UseShellExecute' property to false, so that it will never
>        interpret the command as a document to open with whatever application
>        is registered for that document type.  This also prevents creating a
>        new window for console programs on Windows.

I think it is worth including that in a comment in the code.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------