D20.1783039731.diff
No OneTemporary
Actions

Authored By

Unknown

Size

795 B

Referenced Files

None

Subscribers

None

D20.1783039731.diff
View Options

	diff --git a/.arcconfig b/.arcconfig
	--- a/.arcconfig
	+++ b/.arcconfig
	@@ -1,3 +1,3 @@
	{
	- "phabricator.uri" : "https://sviluppo.erinformatica.it/"
	+ "phabricator.uri" : "https://gitpull.it/"
	}
	diff --git a/orphanize.php b/orphanize.php
	--- a/orphanize.php
	+++ b/orphanize.php
	@@ -104,8 +104,19 @@
	// wiki instance
	$wiki = Mediawikis::findFromUid( $wiki_uid );

	-// load the wiki config
	-wiki_config();
	+// try to load the wiki config
	+try {
	+ wiki_config();
	+} catch( \Exception $e ) {
	+
	+ // I don't have any clue about this but sometime happen
	+ Log::error( sprintf(
	+ "failed reading wiki configuration: %s",
	+ $e->getMessage()
	+ ) );
	+
	+ exit( 1 );
	+}

	// parameters available both from cli and on-wiki
	$SUMMARY = option( 'summary', "Bot: pages orphanization" );