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" );