mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2025-10-10 15:01:27 +02:00
39 lines
1.3 KiB
Diff
39 lines
1.3 KiB
Diff
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.
|
|
|
|
|
|
|