[PATCH] make ui.interactive() return false in case stdin lacks isatty

[Henrik Stuart]

Ronny Pfannschmidt wrote:
> # HG changeset patch
> # User Ronny Pfannschmidt <Ronny.Pfannschmidt at gmx.de>
> # Date 1260725356 -3600
> # Node ID dc34dc1c0881d9d8ba7566408c5a4018a9a2fd06
> # Parent  9e2ab10728a2f68f243d1df624f715028944ac7c
> make ui.interactive() return false in case stdin lacks isatty

Thank you for your contribution. In crew as 89617aacb495.

-- 
Kind regards,
  Henrik Stuart