anchor.diff:      {graph, Command} ->
         loop(graph_command(Command, State));
       {finish, SchedulerStatus, Scheduler} ->
  -      case is_pid(Ticker) of
  -        true ->
  -          progress_clear(),
  -	  stop_ticker(Ticker);
  -        false -> ok
  -      end,
  +      stop_ticker(Ticker),
         separator(Output, $#),
         to_file(Output, "Exploration completed!~n",[]),
         ExitStatus =
  
positive.code:   end.
  
  stop_ticker(Ticker) ->
    Ticker ! {stop, self()},
    receive
      stopped -> ok
    end.
  
  %%------------------------------------------------------------------------------
  
negative.code:         true -> ok;
          false ->
            FinalFormat = Format ++ IntMsg,
            printout(State#logger_state{ticker = none}, FinalFormat, Args)
        end,
        Scheduler ! {finished, ExitStatus},
        ok;
  