anchor.diff:          _ ->
               error_logger:warning_report(
                   {"Could not start proxy (PID file not found or empty)", Out}),
  -             exit(proxy_init_failed)
  +            exit(proxy_init_failed)
       end.
   
   kill_proxy() ->
  
positive.code:         ignore;
      true ->
          error_logger:info_report({"Disco proxy enabled"}),
          {ok, spawn_link(fun() ->
              process_flag(trap_exit, true),
              register(disco_proxy, self()),
              proxy_monitor(start_proxy())
          end)}
      end.
  
  -spec update_nodes([nonempty_string()]) -> 'ok'.
  update_nodes(Nodes) ->
      update_nodes(Nodes, disco:get_setting("DISCO_PROXY_ENABLED")).
  update_nodes(_Nodes, "") ->
      ok;
  update_nodes(Nodes, _) ->
      DiscoPort = disco:get_setting("DISCO_PORT"),
      Port = disco:get_setting("DISCO_PROXY_PORT"),
      PidFile = disco:get_setting("DISCO_PROXY_PID"),
  
negative.code: -module(disco_proxy).
  -behaviour(gen_server).
  
  -export([start/0, stop/0, update_nodes/1]).
  -export([init/1, handle_call/3, handle_cast/2, handle_info/2,
           terminate/2, code_change/3]).
  
  -define(PROXY_CHECK_INTERVAL, 30000).
  -define(PROXY_RESTART_DELAY, 10000).
  