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: -module(disco_proxy).
  -export([start/0, update_nodes/1]).
  
  -define(PROXY_CHECK_INTERVAL, 30000).
  -define(PROXY_RESTART_DELAY, 10000).
  
negative.code:     Httpd = disco:get_setting("DISCO_HTTPD"),
      Type = filename:basename(string:sub_word(Httpd, 1, $\ )),
      Body = make_config(Type, Nodes, Port, DiscoPort, PidFile),
      ok = file:write_file(Config, Body).
  
  proxy_monitor(Pid) ->
      case catch string:str(os:cmd(["ps -p", Pid]), Pid) of
  