bug#43047: 28.0.50; Closing Gnus server then searching it results in unrecoverable breakage

[Eric Abrahamsen <eric@ericabrahamsen.net>]

Lars Ingebrigtsen <larsi@gnus.org> writes:

> Eric Abrahamsen <eric@ericabrahamsen.net> writes:
>
>>>> Debugger entered--Lisp error: (error "NPR/imaps Name or service not known")
>>>>   make-network-process(:name "*nnimap*" :buffer #<buffer *nnimap NPR
>>>> nil *nntpd**> :host "NPR" :service "imaps" :nowait nil :tls-parameters
>>>> nil :coding nil)
>>>
>>> Reading this bug report, it's somewhat unclear what the problem is.  Is
>>> "NPR" really the name of the server you're connecting to, or is that the
>>> problem?  That Gnus is trying to connect to "NPR"?
>>
>> Yes, the server is correct: nnimap+NPR. Once I get that error above, I
>> can't reconnect, and get the same error for all nnimap backends.
>
> But is "NPR" the domain name of the server you're trying to connect to?
> Or is it the Gnus server name?

It's just the label of the server:

(nnimap "NPR"
  (nnimap-address "localhost")
  (nnimap-stream network)
  (gnus-message-archive-group "nnimap+NPR:Sent")
  (nnimap-authenticator login)
  (nnimap-user "eric@paper-republic.org"))