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