jayvdb added a subscriber: jayvdb. jayvdb added a comment. If we can check whether the file is open by another process, we could use the simple name (no pid) by default, and then fallback to using a pid in the filename if necessary.
Also a compat bug https://phabricator.wikimedia.org/T56685 and https://phabricator.wikimedia.org/T93357 looks similar. TASK DETAIL https://phabricator.wikimedia.org/T86493 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: jayvdb Cc: jayvdb, Xqt, JAnD, Aklapper, XZise, pywikipedia-bugs _______________________________________________ pywikibot-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/pywikibot-bugs
