https://bugzilla.wikimedia.org/show_bug.cgi?id=40327
Web browser: ---
Bug #: 40327
Summary: PID file for pollForChanges does not work with a wiki
family setup.
Product: MediaWiki extensions
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: WikidataRepo
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected]
Classification: Unclassified
Mobile Platform: ---
Using __FILE__ as a basis is not the correct way to get separate pid files for
separate wikis, because multiple wikis may use the same install base. This is
especially true for the installations run by Wikimedia. Either get the PID file
from the command line, or use something like wfWikiID().
Some more minor issues:
I would reserve .lck for actual lock files. This is not really a lock file.
.pid is often used on unix for this, look into your /var/run directory for
examples.
Under *nix, it would be nicer to use a file in /var/run (you will see a whole
bunch of .pid files there already). The file in /var/run would need to be
created and chowned to the correct user for that to work though.
Perhaps just try to use /var/run/xyz first (check whether the dir exist and the
file is writable / can be created), otherwise use the OS' temp dir.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
