[erlang-patches] Patch for user_drv.erl
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
Björn Gustavsson, Erlang/OTP, Ericsson AB
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-patches