anchor.diff:  
   -record(options, {username, password, boot_timeout, init_timeout,
   		  startup_timeout, startup_functions, monitor_master,
  -		  kill_if_fail, erl_flags, env, ssh_port, ssh_opts}).
  +		  kill_if_fail, erl_flags, env, ssh_port, ssh_opts,
  +		  stop_timeout}).
   
   %%%-----------------------------------------------------------------
   %%% @spec start(Node) -> Result
  
positive.code: 		{false,undefined}
      end,
      spawn(ENode, init, stop, []),
      case wait_for_node_dead(ENode, 5) of
  	{ok,ENode} ->
  	    if Cover ->
  		    %% To avoid that cover is started again if a node
  
negative.code:     EnvVars = get_option_value(env, Options, []),
      SSHPort = get_option_value(ssh_port, Options, []),
      SSHOpts = get_option_value(ssh_opts, Options, []),
      StopTimeout = get_option_value(stop_timeout, Options, 5),
      #options{username=UserName, password=Password,
  	     boot_timeout=BootTimeout, init_timeout=InitTimeout,
  	     startup_timeout=StartupTimeout, startup_functions=StartupFunctions,
  	     monitor_master=Monitor, kill_if_fail=KillIfFail,
  	     erl_flags=ErlFlags, env=EnvVars, ssh_port=SSHPort, ssh_opts=SSHOpts,
  	     stop_timeout=StopTimeout}.
  
  % send a message when slave node is started
  % @hidden
  