[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread
|
From: |
Lars Ingebrigtsen |
|
Subject: |
bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread |
|
Date: |
Mon, 18 Nov 2019 09:54:18 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Eric Abrahamsen <eric@ericabrahamsen.net> writes:
> I haven't tried to make it raise an error, but I did set
> `nntp-connection-timeout' very low, and try to trigger an error that
> way. Nothing bad happened -- I will take a look at the code and see how
> timeouts are handled.
Try putting an (error) in `nntp-open-server' or something. :-)
> So far so good!
Sounds good.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, dick . r . chiang, 2019/11/08
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/08
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Lars Ingebrigtsen, 2019/11/14
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/17
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread,
Lars Ingebrigtsen <=
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/18
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, dick . r . chiang, 2019/11/18
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/18
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/19
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Eric Abrahamsen, 2019/11/19
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Lars Ingebrigtsen, 2019/11/20
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/20
- bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Michael Albinus, 2019/11/20
bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, bug#38136: [PATCH] Make gnus-group-get-new-news a non blocking thread, Robert Pluim, 2019/11/12