[MediaWiki-commits] [Gerrit] Use \Wikibase\Utils::makePidFilename and \Wikibase\Utils::is... - change (mediawiki...Wikibase[master])

2012-11-21 Thread Jens Ohlig (Code Review) 
Jens Ohlig has uploaded a new change for review.

Change subject: Use \Wikibase\Utils::makePidFilename and 
\Wikibase\Utils::isAlreadyRunning in pollForChanges
..

Use \Wikibase\Utils::makePidFilename and \Wikibase\Utils::isAlreadyRunning in 
pollForChanges

Change-Id: I28739a1dafb87a33d63d30312ab394da29af423c
---
M lib/maintenance/pollForChanges.php
1 file changed, 4 insertions(+), 21 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikibase 
refs/changes/12/34512/1
--
To view, visit https://gerrit.wikimedia.org/r/34512
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I28739a1dafb87a33d63d30312ab394da29af423c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Jens Ohlig jens.oh...@wikimedia.de

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] Use \Wikibase\Utils::makePidFilename and \Wikibase\Utils::is... - change (mediawiki...Wikibase[master])

2012-11-21 Thread Daniel Kinzler (Code Review) 
Daniel Kinzler has submitted this change and it was merged.

Change subject: Use \Wikibase\Utils::makePidFilename and 
\Wikibase\Utils::isAlreadyRunning in pollForChanges
..


Use \Wikibase\Utils::makePidFilename and \Wikibase\Utils::isAlreadyRunning in 
pollForChanges

Change-Id: I28739a1dafb87a33d63d30312ab394da29af423c
---
M lib/includes/Utils.php
M lib/maintenance/pollForChanges.php
M repo/maintenance/pruneChanges.php
3 files changed, 16 insertions(+), 64 deletions(-)

Approvals:
  Daniel Kinzler: Verified; Looks good to me, approved


--
To view, visit https://gerrit.wikimedia.org/r/34512
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I28739a1dafb87a33d63d30312ab394da29af423c
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Jens Ohlig jens.oh...@wikimedia.de
Gerrit-Reviewer: Aude aude.w...@gmail.com
Gerrit-Reviewer: Daniel Kinzler daniel.kinz...@wikimedia.de
Gerrit-Reviewer: Jens Ohlig jens.oh...@wikimedia.de
Gerrit-Reviewer: John Erling Blad john.b...@wikimedia.de

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits