diff options
Diffstat (limited to 'community/erlang/0007-Split-off-webtool-dependency-from-tools.patch')
| -rw-r--r-- | community/erlang/0007-Split-off-webtool-dependency-from-tools.patch | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/community/erlang/0007-Split-off-webtool-dependency-from-tools.patch b/community/erlang/0007-Split-off-webtool-dependency-from-tools.patch new file mode 100644 index 0000000000..6a58f5cea0 --- /dev/null +++ b/community/erlang/0007-Split-off-webtool-dependency-from-tools.patch @@ -0,0 +1,38 @@ +From: Peter Lemenkov <lemenkov@gmail.com> +Date: Sat, 8 Nov 2014 22:54:57 +0300 +Subject: [PATCH] Split off webtool dependency from tools + +Signed-off-by: Peter Lemenkov <lemenkov@gmail.com> + +--- otp_src_18.0-orig/lib/tools/src/cover_web.erl ++++ otp_src_18.0-fixed/lib/tools/src/cover_web.erl +@@ -51,14 +51,25 @@ + %%%---------------------------------------------------------------------- + %% Start webtool and webcover from erlang shell + start() -> +- webtool:start(), +- webtool:start_tools([],"app=webcover"), ++ try ++ % Disable automatic dependency picking up ++ erlang:apply(webtool, start, []), ++ erlang:apply(webtool, start_tools, [[],"app=webcover"]) ++ catch ++ error:undef -> error_logger:error_msg("No erlang-webtool found.~nPlease install erlang-webtool package first.~n") ++ end, + ok. + + %% Stop webtool and webcover from erlang shell + stop() -> +- webtool:stop_tools([],"app=webcover"), +- webtool:stop(). ++ try ++ % Disable automatic dependency picking up ++ erlang:apply(webtool, stop_tools, [[],"app=webcover"]), ++ erlang:apply(webtool, stop, []) ++ catch ++ error:undef -> error_logger:error_msg("No erlang-webtool found.~nPlease install erlang-webtool package first.~n") ++ end, ++ ok. + + + |