[darcs-devel] darcs patch: Exec improvements : Windows
redirection, and more redi...
Juliusz Chroboczek
Juliusz.Chroboczek at pps.jussieu.fr
Mon Sep 11 07:02:57 PDT 2006
>> Since exec is now just (exec_ ... Nothing), this changes the effect of
>> exec, but in subtly different ways on the two platforms.
> exec is backwards compatible (i hope)
It is -- I'm an idiot.
> That being said, what is alarming to me is that Windows/Unix have
> different behaviours
Aye.
> data StderrRedirect =
> NoRedirect | RedirectToStdout | RedirectTo FilePath
>
> What do you think?
That's definitely the right way, although I'd say
RedirectTo !FilePath
Sorry, I'm superstitious.
Juliusz
More information about the darcs-devel
mailing list