[erlang-patches] Patch for user_drv.erl

Bjorn Gustavsson <>
Tue Oct 21 15:53:05 CEST 2008

2008/8/26 Robert Virding <>

> 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.


> _______________________________________________
> erlang-patches mailing list
> 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.html>

More information about the erlang-patches mailing list