https://bugzilla.wikimedia.org/show_bug.cgi?id=55127
--- Comment #18 from Gerrit Notification Bot gerritadmin@wikimedia.org --- Change 110866 merged by jenkins-bot: (bug 55127) Allow user to cut off pending network requests at shutdown
https://gerrit.wikimedia.org/r/110866