On Tue, Nov 24, 2015 at 9:34 PM, Gábor Melis mega@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,