https://bugzilla.wikimedia.org/show_bug.cgi?id=69234
Bug ID: 69234
Summary: If data retrieval from the remote wiki fails, try
again only after the data has been made available
Product: MediaWiki extensions
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: MirrorTools
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Web browser: ---
Mobile Platform: ---
If data retrieval from the remote wiki fails, try again after the data has been
made available. If the page ID doesn't exist anymore, then probably it was
deleted. Wait for the undeletion event before polling for the data again. This
should probably have an mbq_status of "pagedeleted" or something. After the
undeletion happens, these can all be changed back to "needsrev".
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
