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>

diff --git a/lib/tools/src/cover_web.erl b/lib/tools/src/cover_web.erl

index ae8b3f2..539ca96 100644

--- a/lib/tools/src/cover_web.erl

+++ b/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.