13 Jul
2024
13 Jul
'24
15:16
On Samstag, 13. Juli 2024 16:55:13 MESZ Andrei Borzenkov wrote:
On 13.07.2024 17:39, mh@mike.franken.de wrote:
On Samstag, 13. Juli 2024 16:25:16 MESZ Andrei Borzenkov wrote: [...]
If it would have been killed before, because of running into the dispatcher timeout, I'd suspect it would be running afterwards!?!? ^ not
I am sorry, I do not understand what you are saying. I suspect "not" is missing somewhere, just not sure where.
Missing "not" indeed.