https://bugzilla.wikimedia.org/show_bug.cgi?id=72860
John Mark Vandenberg jayvdb@gmail.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Priority|Unprioritized |Low
--- Comment #1 from John Mark Vandenberg jayvdb@gmail.com --- It isnt happening frequently, and the solution is probably to fail with a different exception, so this isnt probably not critical to fix. (But bot operators do complain when they bots fall over half way through month long tasks because of a server problem)