anchor.diff:                              metrics_pipe_name   = MetricsPipeName, 
                               python_port         = PythonPort
                           }) ->
  -    port_command(PythonPort, "quit()\n"),
  -    wait_python_stop(PythonPort),
  +    _ = (catch port_command(PythonPort, "quit()\n")),
  +    _ = (catch wait_python_stop(PythonPort)),
       close_fifo(MetricsPipeName, MetricsPipe).
   
   -spec wait_python_stop(port()) -> ok.
  
positive.code:             end,
              receive
                  {PythonPort, {exit_status, _Status}} ->
                      port_close(PythonPort),
                      ok
              end;
          {PythonPort, {data, {eol, Line}}} ->
  
negative.code:         {PythonPort, {data, {noeol, Line}}} ->
              wait_python_stop(PythonPort, Acc ++ Line)
      after 5000 ->
          _ = (catch port_close(PythonPort)),
          ok
      end.
  
  