[erlang-patches] Patch for user_drv.erl

[Bjorn Gustavsson]

2008/8/26 Robert Virding <rvirding@REDACTED>

> This is a patch for user_drv.erl which allows the user to specify which
> shell/program to start when starting a new job, both local and remote. The
> patch includes a modified help text. It is completely backwards compatible.
>
> It has been tested in LFE with no problems.
>

Thanks! We will include the patch in R12B-5.

/Bjorn

>
> _______________________________________________
> erlang-patches mailing list
> erlang-patches@REDACTED
> http://www.erlang.org/mailman/listinfo/erlang-patches
>



-- 
Björn Gustavsson, Erlang/OTP, Ericsson AB
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-patches/attachments/20081021/b2869b1b/attachment.htm>