On Tue, Nov 24, 2015 at 9:34 PM, Gábor Melis <mega at retes.hu> wrote: > Seems to work fine. One thing that didn't work is that we need to always redirection *STANDARD-INPUT* since *GLOBALLY-REDIRECT-IO* doesn't affect that. Pushed an improved fix. Cheers, -- Luís Oliveira http://kerno.org/~luis/